c6de851d86
small-fix: fix_one_variable_helper not-parallel behavior
2023-08-24 09:01:12 +02:00
dependabot[bot]
79cb2b8a89
Update criterion requirement from 0.4.0 to 0.5.1
...
Updates the requirements on [criterion](https://github.com/bheisler/criterion.rs ) to permit the latest version.
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md )
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.4.0...0.5.1 )
---
updated-dependencies:
- dependency-name: criterion
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com >
2023-05-26 17:00:20 +00:00
Ivan Mikushin
56b1085c11
Bump to arkworks-0.4.0 ( #126 )
...
* Bump to arkworks-0.4.0
* Replace remaining usages of `msm_bigint` with `msm_unchecked`
Using `msm_unchecked` instead of `msm_bigint` allows to delete the BigInt conversion code by letting the library take care of it.
2023-02-21 08:53:49 -05:00
Charles Lu
22d9a191f7
open source under MIT license
2023-01-24 12:10:53 +00:00
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
