Merge pull request #113 from lambdaclass/eth_verifier_prep_for_final

Eth verifier prep for final verification
lambdaclass · Jan 15, 2024 · 267c20a · 267c20a
2 parents afacefa + 48ad7f3
commit 267c20a
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/eth_verifier/lib/msgpack/Deserialize.sol b/eth_verifier/lib/msgpack/Deserialize.sol
@@ -572,6 +572,11 @@ library MsgPk {
         deser_lagrange_bases(lagrange_b_serialized, urs.lagrange_bases_unshifted);
     }
 
+    function deser_g1point(Stream memory self) public view returns (BN254.G1Point memory) {
+        EncodedMap memory buffer = deser_fixmap(self);
+        return BN254.g1Deserialize(bytes32(deser_buffer(buffer)));
+    }
+
     function deser_linearization(Stream memory self) public view returns (Linearization memory) {
         // TODO: only constant_term is deserialized right now.
         EncodedArray memory arr = deser_arr32(self);

diff --git a/kzg_prover/src/main.rs b/kzg_prover/src/main.rs
@@ -67,10 +67,10 @@ type KZGProof = PairingProof<ark_ec::bn::Bn<ark_bn254::Parameters>>;
 fn main() {
     generate_verifier_circuit_proof();
     //generate_test_proof();
-    generate_test_proof_ex();
+    generate_test_proof_for_evm_verifier();
 }
 
-fn generate_test_proof_ex() {
+fn generate_test_proof_for_evm_verifier() {
     let rng = &mut StdRng::from_seed([255u8; 32]);
 
     // Create range-check gadget