issues
search
anoma
/
zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
https://anoma.github.io/zkp-compiler-shootout/
GNU General Public License v3.0
120
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Carlo/cairo giza
#35
CarloModicaPortfolio
opened
12 months ago
0
Add Cairo to the shootout
#34
mariari
closed
12 months ago
0
[WIP] add Lurk benchmarks
#33
austinabell
closed
1 year ago
5
fix: re-enable and update risc0, clean up runner
#32
austinabell
closed
1 year ago
4
upgrade to Triton VM v0.33.0
#31
jan-ferdinand
closed
1 year ago
3
Re-enable RISC0
#30
mariari
closed
1 year ago
1
upgrade to Triton VM v0.29.1
#29
jan-ferdinand
closed
1 year ago
2
Carlo/vampir halo2
#28
CarloModicaPortfolio
closed
1 year ago
0
srs length defined within circuit definition, blake2s comparasions fair
#27
CarloModicaPortfolio
closed
1 year ago
0
Feature Flags
#26
mariari
closed
1 year ago
0
Carlo/vampir plonk
#25
CarloModicaPortfolio
closed
1 year ago
1
update to Triton VM v0.20
#24
jan-ferdinand
closed
1 year ago
4
Carlo/vampir plonk
#23
CarloModicaPortfolio
closed
1 year ago
0
add Triton VM to benchmarks
#22
jan-ferdinand
closed
1 year ago
8
Add More Hashing Benchmarks
#21
mariari
opened
2 years ago
0
CI: commit updated benchmarks
#20
Fraccaman
closed
2 years ago
0
Make Merkle Proof Benchmarks.
#19
mariari
opened
2 years ago
0
Actually iterate in the miden fib bencmark
#18
brianretford
closed
2 years ago
1
Triton: Preserving Expected Block Order
#17
mariari
opened
2 years ago
0
Triton Generation
#16
mariari
opened
2 years ago
12
cargo bench doesn't report data for Halo2
#15
zhenfeizhang
opened
2 years ago
2
Update README.md
#14
lispc
closed
2 years ago
1
Lower Benchmark timing
#13
mariari
closed
1 year ago
2
Getting the New Testing Interface Up
#12
mariari
closed
2 years ago
1
Remove Geb code now that repo has been migrated
#11
rokopt
closed
2 years ago
0
Various FinSet / polynomial developments
#10
rokopt
closed
2 years ago
0
Some correctness proofs and development of new `FinSet` representation
#9
rokopt
closed
2 years ago
0
Bug fixes, utility functions, documentations for initial category
#8
rokopt
closed
2 years ago
0
Simpler sudoku circuit (Halo 2 and PLONK)
#7
simonmasson
closed
2 years ago
1
Fixes, examples, and documentation for initial higher-order polynomial category
#6
rokopt
closed
2 years ago
0
Convenience library for core polynomial category
#5
rokopt
closed
2 years ago
0
Checkpoint merge: unrefined substitutive category; compilation to polynomials
#4
rokopt
closed
2 years ago
0
Consider Benchmarking Libraries
#3
mariari
opened
2 years ago
1
Reorganize Rust Structure
#2
mariari
closed
2 years ago
1
Introduce Geb to zkp-compiler-shootout repo
#1
rokopt
closed
2 years ago
0