22 Commits

Author SHA1 Message Date
dependabot[bot]
545c9b53cf Update itertools requirement from 0.10.4 to 0.11.0
Updates the requirements on [itertools](https://github.com/rust-itertools/itertools) to permit the latest version.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.10.4...v0.11.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-07-17 16:39:13 +00:00
ancient123
b13a607b51 Update build
- Use default github rust version
- Stop using clippy action, it has been unmaintained since 2020
- No longer enforce nightly fmt rules in CI (they can still be enforced
  in commit hooks or nix
- No longer use cargo test unstable options
- Run `cargo clippy --fix` to fix new errors
2023-07-17 10:11:31 -06: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
Han
f64bfe6c2a Improve sum check in general and preprocess for sum check in mlkzg multi_open (#123)
* feat: faster sum check prover and multilinear kzg batching open

* fix: add comment about why we combine polys that have the same opening point

* fix: remove the unnecessary last eval increment
2023-02-14 11:49:58 -05:00
Charles Lu
22d9a191f7 open source under MIT license 2023-01-24 12:10:53 +00: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
chancharles92
e70b421351 Multilinear PCS open refactor (#113)
* cherry-pick the commit and fix clippy

* fix multi-open test

* fix srs_gen test
2023-01-09 16:53:00 -05:00
chancharles92
858014e131 Revert "refactor multilinear PCS opening" (#112)
This reverts commit f16db389e3.
2023-01-09 15:08:30 -05:00
chancharles92
f16db389e3 refactor multilinear PCS opening 2023-01-09 13:04:52 -05:00
zhenfei
8256fb3ee2 FEAT: msm timers (#108) 2022-12-20 11:31:39 -05:00
Charles Chen
c48c1b97a5 more parallelization 2022-12-16 11:12:44 -05:00
Charles Chen
5d6985b799 more parallelization 2022-12-16 10:03:30 -05:00
Charles Chen
81073dfee1 batch inversion 2022-12-16 09:29:28 -05:00
Charles Chen
648ea51ff4 arc 2022-12-16 09:18:53 -05:00
chancharles92
366a2674bc remove identity polynomial commitments and PCS evaluations (#104)
* remove sid pcs evals

* minor optimization + more timers
2022-12-06 09:43:01 -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
Charles Chen
d6674351c1 refactor prodcheck 2022-11-09 21:53:46 -05:00
Charles Chen
4c9f4390dc reduce rounds in batching 2022-10-24 18:19:55 -04: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