Issues
- 0
feat(ivc): impl cyclefold::support_circuit
#371 opened by cyphersnake - 1
feat: on-circuit protogalaxy verifier
#361 opened by cyphersnake - 1
feat(ivc): impl cyclefold::sfc::sps_verify
#367 opened by cyphersnake - 0
feat(ivc): impl cyclefold
#373 opened by cyphersnake - 2
- 1
- 1
refactor(plonk): make trace* types flexible
#366 opened by cyphersnake - 3
feat(ivc): impl of cyclefold IVC
#262 opened by chaosma - 1
feat(cyclefold): research on cyclefold IVC
#263 opened by chaosma - 0
feat(ivc): impl cyclefold::step_folding_circuit
#369 opened by cyphersnake - 0
feat(ivc): impl cyclefold::public_params
#372 opened by cyphersnake - 0
test(ivc): cyclefold e2e
#374 opened by cyphersnake - 12
- 5
feat(plonk): support multiple phase halo2 circuit
#315 opened by chaosma - 0
docs: general architectural documentation
#330 opened by cyphersnake - 1
feat(sp): instance columns public API
#329 opened by cyphersnake - 0
feat(nifs): `protogalaxy::verify_mult`
#267 opened by cyphersnake - 2
feat(nifs): optimize compute_G
#293 opened by chaosma - 0
feat(ivc): ivc circuit with private inputs
#334 opened by chaosma - 0
feat(poly): impl `pow_i` from protogalaxy
#257 opened by cyphersnake - 0
feat(table): multiphase circuit-runner
#327 opened by cyphersnake - 0
feat(plonk): multiphase sps
#328 opened by cyphersnake - 0
feat(table): multiphase witness-collector
#326 opened by cyphersnake - 0
test(nifs): e2e for protogalaxy
#268 opened by cyphersnake - 1
- 0
feat(ivc): support large step circuit size
#319 opened by chaosma - 3
feat(commitment): add KZG commitment
#317 opened by chaosma - 0
feat(ivc): remove process_step
#300 opened by chaosma - 1
feat(nifs): `protogalaxy::prove_mult`
#266 opened by cyphersnake - 7
feat(example): poseidon-based merkle-tree benchmark
#285 opened by cyphersnake - 0
feat(nifs): `compute_K`
#265 opened by cyphersnake - 1
feat: more detailed execution scopes
#298 opened by cyphersnake - 0
feat(nifs): `compute_G`
#260 opened by cyphersnake - 0
docs: actualize tags
#289 opened by cyphersnake - 7
feat(nifs): `compute_F`
#259 opened by cyphersnake - 0
- 21
- 0
feat: auto-collection of {mem,time}-profiling
#277 opened by cyphersnake - 1
feat(poly): impl fft/ifft methods
#258 opened by cyphersnake - 0
feat(poly): univariate poly eval
#256 opened by cyphersnake - 0
feat(fft): cache or hardcode omega in fft domain
#274 opened by chaosma - 9
bench(poseidon): benchmark the ivc folding time when poseidon step circuit size changes
#249 opened by chaosma - 0
docs: add project usage information to README
#247 opened by cyphersnake - 0
docs(perf): monomial vs grouped poly
#238 opened by cyphersnake - 3
feat(sfc): floor planner
#251 opened by cyphersnake - 2
refactor(eval): new design for `trait Eval`
#244 opened by cyphersnake - 2
Folding multiple instances
#241 opened by guo-yanpei - 0
feat(poly): support large number of gates in folding
#239 opened by chaosma - 0
ci: split tests by profiles
#236 opened by cyphersnake - 0
refactor(poly): work with indexes
#234 opened by cyphersnake