Issues
- 0
feat(ivc): ivc circuit with private inputs
#334 opened - 0
docs: general architectural documentation
#330 opened - 1
feat(sp): instance columns public API
#329 opened - 0
feat(plonk): multiphase sps
#328 opened - 0
feat(table): multiphase circuit-runner
#327 opened - 0
feat(table): multiphase witness-collector
#326 opened - 1
- 0
feat(ivc): support large step circuit size
#319 opened - 3
feat(commitment): add KZG commitment
#317 opened - 10
- 5
- 0
feat(ivc): remove process_step
#300 opened - 1
feat: more detailed execution scopes
#298 opened - 1
feat(nifs): optimize compute_G
#293 opened - 0
docs: actualize tags
#289 opened - 7
- 0
feat: auto-collection of {mem,time}-profiling
#277 opened - 0
- 21
- 0
test(nifs): e2e for protogalaxy
#268 opened - 0
feat(nifs): `protogalaxy::verify_mult`
#267 opened - 1
feat(nifs): `protogalaxy::prove_mult`
#266 opened - 0
feat(nifs): `compute_K`
#265 opened - 0
feat(cyclefold): research on cyclefold IVC
#263 opened - 2
- 0
feat(nifs): `compute_G`
#260 opened - 7
feat(nifs): `compute_F`
#259 opened - 1
feat(poly): impl fft/ifft methods
#258 opened - 0
feat(poly): impl `pow_i` from protogalaxy
#257 opened - 0
feat(poly): univariate poly eval
#256 opened - 0
- 3
feat(sfc): floor planner
#251 opened - 9
- 0
- 2
refactor(eval): new design for `trait Eval`
#244 opened - 2
Folding multiple instances
#241 opened - 0
- 0
docs(perf): monomial vs grouped poly
#238 opened - 0
ci: split tests by profiles
#236 opened - 0
refactor(poly): work with indexes
#234 opened - 0
- 0
- 0
feat(poly): compress gates with minimal degree
#211 opened - 1
feat(ecc): using lookup
#209 opened - 1
feat(bn): using lookup
#208 opened - 0
feat(example): keccak256
#206 opened - 3
fix(exm): copy constraint in input of sha256
#195 opened - 15
- 5
- 1