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

Demo verifier eth test deserialize #57

Merged
merged 24 commits into from
Oct 30, 2023
Merged

Demo verifier eth test deserialize #57

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
2718c0e
Merge branch 'demo_verifier_eth' into demo_verifier_eth_test_deserialize
xqft Oct 24, 2023
3dffdec
Added rmp serialization
xqft Oct 24, 2023
6c9efdf
Better test for deser
xqft Oct 24, 2023
15e3f0d
Refactor, cleared some code
xqft Oct 24, 2023
44fe6d6
Formatting
xqft Oct 24, 2023
fa0c22e
Removed unused circuit_gen
xqft Oct 24, 2023
ee632bc
WIP Deserialize URS
xqft Oct 24, 2023
1bb2983
WIP URS deserialization
xqft Oct 25, 2023
31c3d97
Fixed deser, added test
xqft Oct 26, 2023
2fa758e
Added comments'
xqft Oct 26, 2023
884fdb7
Implemented pow for base field
xqft Oct 26, 2023
9cd2fb7
Removed unnecesary log
xqft Oct 26, 2023
33e2cdd
Added FFT
xqft Oct 26, 2023
7d91589
Fix fft
xqft Oct 26, 2023
caba169
WIP generating basis
xqft Oct 26, 2023
2c89fe8
Finish iFFT
xqft Oct 27, 2023
e6477d3
Finished calculate_lagrange_bases
xqft Oct 27, 2023
fcf20a4
Implemented inv for field
xqft Oct 27, 2023
ec7ed5b
Refactor xgcd
xqft Oct 27, 2023
e1285b4
Fixed lagrange_base nested arrays problem
xqft Oct 27, 2023
8b3a450
WIP Iterative FFT
xqft Oct 27, 2023
5c633fe
Finished iterative FFT
xqft Oct 30, 2023
d4880e9
Fixed circular dependency
xqft Oct 30, 2023
e38767b
Merge branch 'demo_verifier_eth_deserialize_proof' into demo_verifier…
xqft Oct 30, 2023
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
2 changes: 2 additions & 0 deletions demo/circuit_gen/Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions demo/circuit_gen/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,11 @@ num-traits = "0.2"
ark-ff = { version = "0.3.0", features = [ "parallel", "asm" ] }
ark-ec = { version = "0.3.0", features = [ "parallel" ] }
ark-poly = { version = "0.3.0", features = [ "parallel" ] }
ark-serialize = "0.3.0"
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
num-bigint = "0.4.3"
ark-bn254 = "0.3.0"
rand = "0.8.0"
rand_core = "0.6.3"
rmp-serde = "1.1.2"
4 changes: 4 additions & 0 deletions demo/circuit_gen/opening_proof.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
"quotient": "a5a3ad49d6784ac81e6da0a2cb147038f4ce4b98e8a22c862bbba2854f87da0b",
"blinding": "138a93e53cf407225b1ee3da019c79d58b5c0597089e9fdf411102ce28365613"
}
1 change: 1 addition & 0 deletions demo/circuit_gen/opening_proof.mpk
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
�� ���I�xJ�m���p8��K��,�+���O�� � ���<�"[���yՋ\����A�(6V
Loading