Demo verifier eth test deserialize #57
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…_eth_test_deserialize
pablodeymo
approved these changes
Oct 30, 2023
pablodeymo
merged commit 27c06e5
into
demo_verifier_eth_deserialize_proof
5 checks passed
xqft
added a commit
that referenced
this pull request
Oct 30, 2023
* deserialization of opening proof * improving error return in deserializeOpeningProof * changes in test_deserialize_opening_proof * small changes * Demo verifier eth test deserialize (#57) * Added rmp serialization * Better test for deser * Refactor, cleared some code * Formatting * Removed unused circuit_gen * WIP Deserialize URS * WIP URS deserialization * Fixed deser, added test * Added comments' * Implemented pow for base field * Removed unnecesary log * Added FFT * Fix fft * WIP generating basis * Finish iFFT * Finished calculate_lagrange_bases * Implemented inv for field * Refactor xgcd * Fixed lagrange_base nested arrays problem * WIP Iterative FFT * Finished iterative FFT * Fixed circular dependency --------- Co-authored-by: Pablo Deymonnaz <[email protected]> Co-authored-by: Estéfano Bargas <[email protected]>
pablodeymo
added a commit
that referenced
this pull request
Oct 30, 2023
* WIP generating test proof * KZG test generator done * Add verifier index * Update makefile * Verifier steps * chore: forge init * forge install: forge-std v1.7.1 * rest.yml removed * Initial files * serializedProof as an input * Added some operations over bn254 using precompiles * Moved bn254.sol * BN254.sol file included * Added bn254 test * Fix test * Deprecated old verifier * Delete duplicated file * Fix foundry submodule name * WIP deserialize_proof in verifier.sol * adding ark-bn254 crate * bn254 file * Add fields demo (#45) * WIP Implementing Fields and Commitments * Added inv field * Added scalar field * Added 'using for' * Small tweak * Added base field test * Fixed base test, added scalar test * Removed inv * Solidity verifier step 2 (#51) * WIP step 2 * WIP step 2 * Added polycomm msm, continued step2 * Added mask_custom * Remove commented blocks * Replace solidity verifier bn254 lib and fixes (#54) * WIP replace bn254 lib * Fix length * Multiple fixes * Added partial_verify run test * Fix partial verify test * Add CI job * Added setup step to CI job * Added ci make rule * Use action * Revert BN254 * Remove utils.sol * Fix partial verify test * New bn254 (#56) * Revert "Revert BN254" This reverts commit 934d3bb. * Revert "Remove utils.sol" This reverts commit 999ce22. * Deserialize proof in solidity (#53) * deserialization of opening proof * improving error return in deserializeOpeningProof * changes in test_deserialize_opening_proof * small changes * Demo verifier eth test deserialize (#57) * Added rmp serialization * Better test for deser * Refactor, cleared some code * Formatting * Removed unused circuit_gen * WIP Deserialize URS * WIP URS deserialization * Fixed deser, added test * Added comments' * Implemented pow for base field * Removed unnecesary log * Added FFT * Fix fft * WIP generating basis * Finish iFFT * Finished calculate_lagrange_bases * Implemented inv for field * Refactor xgcd * Fixed lagrange_base nested arrays problem * WIP Iterative FFT * Finished iterative FFT * Fixed circular dependency --------- Co-authored-by: Pablo Deymonnaz <[email protected]> Co-authored-by: Estéfano Bargas <[email protected]> --------- Co-authored-by: Pablo Deymonnaz <[email protected]> Co-authored-by: Pablo Deymonnaz <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.