chore: refactor download sh, remove append_with_subtrees_* vkeys (#1410)

* chore: refactor download sh, remove append_with_subtrees_* vkeys * chore: switch to DO Storage for proving keys
Lightprotocol · Dec 21, 2024 · fe0e214 · fe0e214
1 parent 9f1359d
commit fe0e214
Show file tree

Hide file tree

Showing 12 changed files with 111 additions and 447 deletions.
diff --git a/circuit-lib/verifier/src/lib.rs b/circuit-lib/verifier/src/lib.rs
@@ -312,11 +312,6 @@ pub fn verify_batch_append_with_proofs(
     compressed_proof: &CompressedProof,
 ) -> Result<(), VerifierError> {
     match batch_size {
-        1 => verify::<1>(
-            &[public_input_hash],
-            compressed_proof,
-            &append_with_proofs_32_1::VERIFYINGKEY,
-        ),
         10 => verify::<1>(
             &[public_input_hash],
             compressed_proof,

diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1.rs
diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_subtrees_26_1.rs b/circuit-lib/verifier/src/verifying_keys/append_with_subtrees_26_1.rs
diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_subtrees_26_10.rs b/circuit-lib/verifier/src/verifying_keys/append_with_subtrees_26_10.rs
diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_subtrees_26_100.rs b/circuit-lib/verifier/src/verifying_keys/append_with_subtrees_26_100.rs