Commit Graph

15 Commits

Author SHA1 Message Date
dependabot[bot]
69542ff244 Update criterion requirement from 0.3.0 to 0.4.0 (#81)
Updates the requirements on [criterion](https://github.com/bheisler/criterion.rs) to permit the latest version.
- [Release notes](https://github.com/bheisler/criterion.rs/releases)
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.3.0...0.4.0)

---
updated-dependencies:
- dependency-name: criterion
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2023-01-14 12:12:25 +08:00
Alex Xiong
e15b079684 update nix to flake (#101)
* update nix to flake

* add nix sanity check cronjob
2023-01-12 22:30:35 +08:00
Charles Chen
65b19382f5 typofix 2022-12-19 12:32:28 -05:00
Charles Chen
44833a0c01 remove unncessary timer 2022-12-16 14:01:32 -05:00
Charles Chen
c48c1b97a5 more parallelization 2022-12-16 11:12:44 -05:00
Charles Chen
648ea51ff4 arc 2022-12-16 09:18:53 -05:00
Benedikt Bünz
768db4eb04 Optimize verifier eq (#102)
* wip we need to be able to do batch opening for different poly sizes or pad poly with zeros

* fix small public inputs. Only works for pow2 pubinput

Co-authored-by: Charles Chen <chancharles92@gmail.com>
2022-11-20 12:26:35 -05:00
Charles Chen
bd1fc9897e refactor snark 2022-11-09 21:53:46 -05:00
Charles Chen
bee67686d0 remove redundant apis 2022-11-09 21:53:46 -05:00
Charles Chen
5e782910d4 refactor permcheck 2022-11-09 21:53:46 -05:00
zhenfei
719f595758 Batch all (#89)
- use sumcheck to batch open PCS
- split Prod and witness into two batches
- benchmark code
2022-10-13 23:21:30 -04:00
zhenfei
baaa06b07b enabling batch opening and mock tests (#80)
- add mock circuits
- add vanilla and jellyfish plonk gates
- performance tuning
2022-09-27 14:51:30 -04:00
zhenfei
3c0cb70109 perm check (#62)
Co-authored-by: Charles Chen <chancharles92@gmail.com>
2022-08-30 09:38:35 -04:00
chancharles92
8281e7c877 Prod check (#61) 2022-08-12 14:35:58 -04:00
zhenfei
a6ea6ac26b initial integration of hyperplonk snark(#39) 2022-08-01 13:16:55 -04:00