feat: add RecursiveVerifierGeneration (#117)

* bump toolchain to 1.55 * refactor: move recursive types to dependence * export recursive verifier and serielize proof * Merge branch 'feat/contracts/recursion' of github.com:fluidex/plonkit * clean up * better import * better * update * fix * fix individual_vk_idxs * add num_input when outputing verifier * minor changes in recursive mod * trivial corrections, clippy and fmt * update dependency of solidity_recursive_plonk_verifier * update CI's toolchain spec * Update integration-test.yml * Update integration-test.yml Co-authored-by: Ho <[email protected]>
fluidex · Oct 19, 2021 · 764014b · 764014b
1 parent 9b0e6c0
commit 764014b
Show file tree

Hide file tree

Showing 32 changed files with 9,131 additions and 144 deletions.
diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml
@@ -30,17 +30,17 @@ jobs:
     strategy:
       matrix:
         rust:
-          - 1.50.0
+          - 1.55.0
 
     steps:
       - name: Checkout sources
         uses: actions/checkout@v2
 
-      - name: Install 1.50.0 toolchain
+      - name: Install 1.55.0 toolchain
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.50.0
+          toolchain: 1.55.0
           override: true
           components: rustfmt, clippy
 

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -30,17 +30,17 @@ jobs:
     strategy:
       matrix:
         rust:
-          - 1.50.0
+          - 1.55.0
 
     steps:
       - name: Checkout sources
         uses: actions/checkout@v2
 
-      - name: Install rust 1.50.0 toolchain
+      - name: Install rust 1.55.0 toolchain
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.50.0
+          toolchain: 1.55.0
           override: true
           components: rustfmt, clippy
 

diff --git a/.github/workflows/integration-test.yml b/.github/workflows/integration-test.yml
@@ -30,17 +30,17 @@ jobs:
     strategy:
       matrix:
         rust:
-          - 1.50.0
+          - 1.55.0
 
     steps:
       - name: Checkout sources
         uses: actions/checkout@v2
 
-      - name: Install rust 1.50.0 toolchain
+      - name: Install rust 1.55.0 toolchain
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.50.0
+          toolchain: 1.55.0
           override: true
           components: rustfmt, clippy
 
@@ -136,19 +136,19 @@ jobs:
         id: test_contract_npm_cache
         uses: actions/cache@v2
         with:
-          path: test/contract/node_modules
-          key: test_contract_node_modules-${{ hashFiles('test/contract/yarn.lock') }}
+          path: test/contract/single/node_modules
+          key: test_contract_node_modules-${{ hashFiles('test/contract/single/yarn.lock') }}
 
       - name: yarn install for test/contract
         if: steps.test_contract_npm_cache.outputs.cache-hit != 'true'
         run: |
-          cd test/contract
+          cd test/contract/single
           yarn install
 
       - name: Verify via smart contract
         run: |
-          cp test/circuits/poseidon/public.json test/contract/test/data/public.json
-          cp test/circuits/poseidon/proof.json test/contract/test/data/proof.json
-          cp test/circuits/poseidon/verifier.sol test/contract/contracts/verifier.sol
-          cd test/contract
+          cp test/circuits/poseidon/public.json test/contract/single/test/data/public.json
+          cp test/circuits/poseidon/proof.json test/contract/single/test/data/proof.json
+          cp test/circuits/poseidon/verifier.sol test/contract/single/contracts/verifier.sol
+          cd test/contract/single
           npx hardhat test
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -27,17 +27,17 @@ jobs:
     strategy:
       matrix:
         rust:
-          - 1.50.0
+          - 1.55.0
 
     steps:
       - name: Checkout sources
         uses: actions/checkout@v2
 
-      - name: Install 1.50.0 toolchain
+      - name: Install 1.55.0 toolchain
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.50.0
+          toolchain: 1.55.0
           override: true
           components: rustfmt, clippy
 

diff --git a/.github/workflows/unit-test.yaml b/.github/workflows/unit-test.yaml
@@ -29,17 +29,17 @@ jobs:
     strategy:
       matrix:
         rust:
-          - 1.50.0
+          - 1.55.0
 
     steps:
       - name: Checkout sources
         uses: actions/checkout@v2
 
-      - name: Install 1.50.0 toolchain
+      - name: Install 1.55.0 toolchain
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: 1.50.0
+          toolchain: 1.55.0
           override: true
           components: rustfmt, clippy