Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Eth verifier prep for final verification #113

Merged
merged 5 commits into from
Jan 15, 2024
Merged

Eth verifier prep for final verification #113

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
f0177be
Added g1point deser fn
xqft Dec 22, 2023
e90a818
Change test circuit function name:
xqft Dec 22, 2023
d1255ed
Merge branch 'main' into eth_verifier_prep_for_final
xqft Dec 22, 2023
d97e816
Change func visibility
xqft Jan 15, 2024
48ad7f3
Merge branch 'main' into eth_verifier_prep_for_final
xqft Jan 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions eth_verifier/lib/msgpack/Deserialize.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down
4 changes: 2 additions & 2 deletions kzg_prover/src/main.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down