gnark-plonky2-verifier

Commit Graph

Author	SHA1	Message	Date
Uma Roy	5d53737841	Moved to variables	2 years ago
Uma Roy	3b8611c6ac	Rename back	2 years ago
Uma Roy	d8b919a403	Fixed underconstrained in range check and added dummy mode to benchmark.go	2 years ago
Uma Roy	e026e73359	Added reduce to benchmark	2 years ago
Uma Roy	90e2f5f1b1	Added benchmark	2 years ago
Uma Roy	1c0235b35a	Renamed symbol a bunch in goldilocks, goldilocks tests pass	2 years ago
Uma Roy	07cf7bd857	Upgraded dependencies	2 years ago
Kevin Jue	7bd0035e65	range check inputted plonky2 proof (#29 ) * gl * stage 1 optimizations * working optimized poseidon * Fix posedion tests * in progress gate type refactor * working gates * working e2e * hm' * hm2 * debug saga continues * more debugging cry * more debug * it finally works * optimizations * more optimizations * new changes * more optimizations * more cleanup * some refactoring * new files * flattening of packages * working commit * more refactor * more flattening * more flattening * more more refactor * more optimizations * more optimizations * more optimizations * plonk benchmark * plonk * fix r1cs * resolve kevin's comments * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/quadratic_extension.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * added range check for the inputted proof * removed the go.mod replace directive * removed some hacky code * removed duplicate import * renamed rangecheckQEVariable to rangecheckQE * resolved conflict --------- Co-authored-by: John Guibas <john@succinct.xyz>	2 years ago
John Guibas	b670530e7f	Use optimized goldilocks in codebase (#26 ) * gl * stage 1 optimizations * working optimized poseidon * Fix posedion tests * in progress gate type refactor * working gates * working e2e * hm' * hm2 * debug saga continues * more debugging cry * more debug * it finally works * optimizations * more optimizations * new changes * more optimizations * more cleanup * some refactoring * new files * flattening of packages * working commit * more refactor * more flattening * more flattening * more more refactor * more optimizations * more optimizations * more optimizations * plonk benchmark * plonk * fix r1cs * resolve kevin's comments * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/quadratic_extension.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * fix: resolve kevin's confusion --------- Co-authored-by: Kevin Jue <kjue235@gmail.com>	2 years ago
jtguibas	a058df6099	small refactor of names	3 years ago
jtguibas	96bfd45884	goldilocks and poseidon	3 years ago

11 Commits (4841d382d7474c6224dcb12c4fab26dd29e24523)