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

arithmic/on-chain #604

Open
wants to merge 101 commits into
base: main
Choose a base branch
from
Open

arithmic/on-chain #604

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
101 commits
Select commit Hold shift + click to select a range
80085c8
implememt Poseidon transcript
arithmic-ASHISH Dec 3, 2024
7d24534
fix impl of transcript
arithmic-ASHISH Jan 15, 2025
b6d5e5c
Merge branch 'main' of github.com:arithmic/jolt into poseidon
arithmic-ASHISH Jan 15, 2025
53014cf
replace compressed poly by uni poly in sum check. need to add flag
arithmic-ASHISH Jan 18, 2025
939bacc
change visibility and hashing for circom testing
arithmic-ASHISH Jan 18, 2025
5f36a20
impl append point for Poseidon Transcript
arithmic-ASHISH Jan 18, 2025
ef51f57
add circom_tsting.rs
arithmic-ASHISH Jan 23, 2025
043b197
add spartan
arithmic-ASHISH Jan 26, 2025
79b4be2
Moved sum checks to prove fn and formatting the code acc to other imp…
arithmic-ASHISH Jan 28, 2025
0153696
Add prover memory checking in spartan
arithmic-ASHISH Feb 5, 2025
febf610
add opening accumulators in prover and verifier
arithmic-ASHISH Feb 6, 2025
ec16888
remove grand type
arithmic-ASHISH Feb 6, 2025
45f14aa
(un)interleave and check more
arithmic-ritwik Feb 6, 2025
8a84b5e
finished fingerprint
arithmic-ritwik Feb 6, 2025
5d412a0
Update SpartanStuff
arithmic-ASHISH Feb 6, 2025
5acf013
writing compute_leaves
arithmic-ritwik Feb 6, 2025
0da59de
working finishing up interleave, uninterleave
arithmic-ritwik Feb 7, 2025
0aa8d48
compute leaves, interleave, uninterleave, check multiset equality com…
arithmic-ritwik Feb 7, 2025
e3a68f8
compute verifier openings, read, write, init and final tuples done
arithmic-ritwik Feb 7, 2025
d5c7dcb
spark preprocessing, prover done
arithmic-ritwik Feb 10, 2025
627e79e
preprocessing for spark, spark sum check added
arithmic-ritwik Feb 10, 2025
4ea5813
verifier opening accumulator done
arithmic-ritwik Feb 10, 2025
ae27da1
compute leaves fixed
arithmic-ritwik Feb 10, 2025
07982a7
Add preprocessing
arithmic-ASHISH Feb 10, 2025
32697be
Merge remote-tracking branch 'origin/Spartan-ritwik' into Spartan
arithmic-ASHISH Feb 10, 2025
b8f219d
fix spartan prover errors
arithmic-ASHISH Feb 11, 2025
90f8ff3
fix spartan need to add final check for inner sum check
arithmic-ASHISH Feb 11, 2025
8da18ef
add opening accumulator for witness
arithmic-ASHISH Feb 12, 2025
e3fac11
add support for circom
arithmic-ASHISH Feb 12, 2025
b03bdf6
remove unused code
arithmic-ASHISH Feb 13, 2025
930c74a
Grumpkin (#4)
arithmic-ASHISH Feb 13, 2025
10b2f4a
Merge remote-tracking branch 'origin/Spartan' into poseidon
arithmic-ASHISH Feb 13, 2025
d13cd76
commented spark in Spartan
arithmic-ASHISH Feb 14, 2025
2a818d2
fix path and remove print
arithmic-ASHISH Feb 14, 2025
f81ca38
Linking (#6)
arithmic-ASHISH Feb 17, 2025
dd73c02
fix append point
arithmic-ASHISH Feb 18, 2025
b8b0fa9
change transcipt new which convert label into field element aand hash it
arithmic-ASHISH Feb 19, 2025
4426bf6
fix transcript new
arithmic-ASHISH Feb 19, 2025
51d2a54
added parsing code for jolt1
Feb 19, 2025
26545ad
added parsing code for spartan_with_hyperkzg and spartan_with_hyrax
Feb 19, 2025
52d758a
Change Circom Parsing of Jolt
arithmic-ASHISH Feb 20, 2025
0557aa7
adding parsing code Jolt proof
arithmic-ASHISH Feb 21, 2025
29f34f6
Parsing for Spartan 1 written. Yet to be tested.
arithmic-bhargav Feb 21, 2025
9beca9a
Fixed an error in parsing.
arithmic-bhargav Feb 21, 2025
cb0581e
add jolt1 parsing
arithmic-ASHISH Feb 21, 2025
3004f85
On chain spartan parsing (#7)
arithmic-ASHISH Feb 21, 2025
bdef08e
fix parsing for jolt1
arithmic-ASHISH Feb 22, 2025
984f1c7
fix inst openings parsing
arithmic-ASHISH Feb 22, 2025
6f10fe5
Parsing consistent with code in circom_jolt's integrate_linking branch.
arithmic-bhargav Feb 22, 2025
f3ed5b6
add parsing of aux_stuff
arithmic-ASHISH Feb 22, 2025
92b8453
fix GKR parsing
arithmic-ASHISH Feb 22, 2025
82a09d7
add parsing for jolt2
arithmic-ASHISH Feb 22, 2025
c481f8c
append test for spartan1 to fib_test
arithmic-ASHISH Feb 22, 2025
2675dcd
refactor parsing
arithmic-ASHISH Feb 23, 2025
cb3b155
fix limb conversion
arithmic-ASHISH Feb 23, 2025
7c2a0eb
change preprocessing args
arithmic-ASHISH Feb 23, 2025
b883d85
fix ppe parsing
arithmic-ASHISH Feb 23, 2025
d057220
fix end to end test case
arithmic-ASHISH Feb 25, 2025
023eec0
uncomment reseeding of program_io i/o
arithmic-ASHISH Feb 26, 2025
15a974c
fix append bytes and add digest for spartan
arithmic-ASHISH Feb 26, 2025
ac87314
Updated circom_jolt building
arithmic-ASHISH Feb 26, 2025
a08dfe7
add support for cpp
arithmic-ASHISH Feb 26, 2025
7a841b6
Changed parsing code to support counter and digest.
arithmic-bhargav Feb 26, 2025
bf51180
add req folder
arithmic-ASHISH Feb 26, 2025
1ed23e7
add stderr for commands
arithmic-ASHISH Feb 26, 2025
470e852
fix parsing of sp1 sp2
arithmic-ASHISH Feb 26, 2025
0ea3993
change the parsing of commitments
arithmic-ASHISH Feb 27, 2025
f6202bd
fix parsing of linking and commitments
arithmic-ASHISH Feb 27, 2025
dddef47
Merge branch 'on_chain_counter' into on_chain
arithmic-ASHISH Feb 27, 2025
4b80328
add circuits
arithmic-ASHISH Feb 28, 2025
1b9c351
add fp2 test cases
arithmic-ASHISH Feb 28, 2025
a3b45ad
add pcs test
arithmic-ASHISH Feb 28, 2025
74bd2a1
add fp tests
arithmic-rituraj Feb 28, 2025
041d907
Merge branch 'integrate_circom' of github.com:arithmic/jolt into test/fp
arithmic-rituraj Feb 28, 2025
0cd9be3
Add public input feat for circom
arithmic-ASHISH Feb 28, 2025
d4e0d3a
Cleaned the code.
arithmic-bhargav Feb 28, 2025
5af7d56
Merge branch 'integrate_circom' of https://github.com/arithmic/jolt i…
arithmic-bhargav Feb 28, 2025
41d5288
test for hyperkzg sum check failing
arithmic-rituraj Feb 28, 2025
e6d72ae
fix final check
arithmic-ASHISH Feb 28, 2025
91fa663
add pairing check
arithmic-ASHISH Feb 28, 2025
b98d5cd
Merge branch 'integrate_circom' of github.com:arithmic/jolt into test/fp
arithmic-ASHISH Feb 28, 2025
91a5642
refactor code
arithmic-ASHISH Mar 1, 2025
4cd1907
refactor jolt args
arithmic-ASHISH Mar 1, 2025
7354c24
sum check hyperkzg, from limbs fixed
arithmic-rituraj Mar 3, 2025
44905dd
pulled on_chain
arithmic-rituraj Mar 3, 2025
9eb9510
add tests for non native ops over bn base field
arithmic-anuj Mar 3, 2025
92c87f5
formatting
arithmic-anuj Mar 3, 2025
dd34f36
added test_case for groups
Mar 3, 2025
555c9cd
add tests for non native ops over bn scalar field
arithmic-anuj Mar 3, 2025
2c21b5a
remove crate from type arguments in functions
arithmic-anuj Mar 3, 2025
fb94333
declare the package name as constant
arithmic-anuj Mar 3, 2025
4855b4f
refactor test cases
arithmic-ASHISH Mar 3, 2025
6520b20
Merge branch 'on_chain' of github.com:arithmic/jolt into on_chain_groups
arithmic-ASHISH Mar 3, 2025
243cc30
refactor group tests
arithmic-ASHISH Mar 3, 2025
e92007e
grumpkin transcript challenge test remains, Jolt1 transcript' test ca…
arithmic-rituraj Mar 3, 2025
f1981ee
grumpkin transcripts fixed
arithmic-rituraj Mar 3, 2025
5c51f88
rename files and add tests for bn254 transcript
arithmic-anuj Mar 3, 2025
132d472
formatting
arithmic-anuj Mar 3, 2025
34e2b06
Modified verify_postponed_eval to include digest in public input.
arithmic-bhargav Mar 3, 2025
d311a2a
Merge branch 'on_chain' of github.com:arithmic/jolt into test/fp
arithmic-ASHISH Mar 3, 2025
a26c409
add solditity code for final check
arithmic-ASHISH Mar 3, 2025
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
7 changes: 6 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,9 @@ temp_file

# ide
.idea
.vscode
.vscode

*.json
*.wtns
*_js
*_cpp
Loading