Issues
- 0
Poseidon and recursive verifier generator
#20 opened by ETatuzova - 0
Update FRI batching
#38 opened by ETatuzova - 0
public input sizes function
#52 opened by ETatuzova - 0
Recursion friendly changes
#49 opened by ETatuzova - 0
Move changes from crypto3-zk up to commit 6a3101b4b89494df1f578e60dbb6de047fea8add
#41 opened by martun - 0
Update actor up to commit 1c5ad085ac71c796f4bc295529f01e0040cc4eb7 of crypto3-zk
#39 opened by martun - 0
Update transcript initialization
#37 opened by ETatuzova - 0
- 0
Parallel grinding implementation
#34 opened by vo-nil - 0
Proofs created on actor code must pass on single-threaded verifier, and our tests must check that.
#32 opened by martun - 0
Move changes from crypto3-zk up to commit ebac50db
#30 opened by martun - 0
Lookup argument optimization
#21 opened by ETatuzova - 0
Improve memory usage of prover
#27 opened by martun - 0
Move changes from crypto3-zk up to commit 6e53d34b6a1f6e9c6d399378b1d4bd1e98a0e0d9.
#25 opened by martun - 0
Update changes from crypto3-zk
#18 opened by vo-nil - 0
Optimize lookup argument
#23 opened by martun - 0
Improve parallelization in multiple places.
#16 opened by martun - 0
Move changes from crypro3-zk up to commit 5786b7bd "Merge pull request #184 from NilFoundation/178-zkllvm-compatibility"
#14 opened by martun - 0
- 0
- 0
Placeholder performance test
#9 opened by ETatuzova - 0
Lagrange 0 computation
#8 opened by ETatuzova - 0
Move changes from crypto3-zk up to commit a9b351beb5493792a0ad2ce5e377b35fe5265b31
#6 opened by martun - 0
Move changes from crypto3-zk up to commit 14d85b927c51bb7863f5b3adf8e099f544b984af
#3 opened by martun