Skip to content

Commit

Permalink
implement verify-proof for placeholder
Browse files Browse the repository at this point in the history
  • Loading branch information
AndreyMlashkin committed Oct 16, 2024
1 parent 2a0ef5f commit e3f40d4
Showing 1 changed file with 26 additions and 0 deletions.
26 changes: 26 additions & 0 deletions .github/workflows/verify-proof.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
name: Verify Proofs (Reusable)

on:
workflow_call:

jobs:
verify-proofs:
runs-on: [self-hosted, Linux, X64, aws_autoscaling]
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
ref: "${{ github.head_ref || github.ref }}"
- name: Download artifact
uses: actions/download-artifact@v4
with:
name: proofs
path: ./contracts/zkllvm
- name: Verify all proofs
run: |
ls -l -a
ls -l -a ./contracts/zkllvm
cp -r circuit* contracts/zkllvm/
npx hardhat deploy
npx hardhat verify-circuit-proof-all

0 comments on commit e3f40d4

Please sign in to comment.