88 Commits

Author SHA1 Message Date
c6de851d86 small-fix: fix_one_variable_helper not-parallel behavior 2023-08-24 09:01:12 +02:00
Mat R
c468fcd34a Merge pull request #132 from EspressoSystems/dependabot/cargo/itertools-0.11.0
Update itertools requirement from 0.10.4 to 0.11.0
2023-07-17 12:06:48 -06:00
Mat R
8d99b0f1d1 Merge pull request #131 from EspressoSystems/dependabot/github_actions/cachix/install-nix-action-22
Bump cachix/install-nix-action from 21 to 22
2023-07-17 12:06:28 -06:00
dependabot[bot]
c21112dc8d Bump cachix/install-nix-action from 21 to 22
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 21 to 22.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Commits](https://github.com/cachix/install-nix-action/compare/v21...v22)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-07-17 16:39:25 +00:00
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
Mat R
4dc9252eaf Merge pull request #133 from EspressoSystems/ci-fix
Update build
2023-07-17 10:38:38 -06: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
Mat R
3efb08374d Merge pull request #130 from EspressoSystems/dependabot/cargo/criterion-0.5.1
Update criterion requirement from 0.4.0 to 0.5.1
2023-06-06 08:55:12 -06:00
Mat R
33bb0d5931 Merge pull request #128 from EspressoSystems/dependabot/github_actions/cachix/install-nix-action-21
Bump cachix/install-nix-action from 20 to 21
2023-06-06 08:52:22 -06: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
dependabot[bot]
4a2c25232e Bump cachix/install-nix-action from 20 to 21
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 20 to 21.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Commits](https://github.com/cachix/install-nix-action/compare/v20...v21)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-24 16:59:49 +00:00
Mat R
cb19852e11 Merge pull request #127 from EspressoSystems/dependabot/github_actions/cachix/install-nix-action-20
Bump cachix/install-nix-action from 18 to 20
2023-03-06 14:05:56 -07:00
dependabot[bot]
451d6cb2d8 Bump cachix/install-nix-action from 18 to 20
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 18 to 20.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Commits](https://github.com/cachix/install-nix-action/compare/v18...v20)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-01 17:04:57 +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
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
Mat R
70b0df5c52 Merge pull request #122 from EspressoSystems/open-source
open source under MIT license
2023-01-24 08:48:29 -07:00
Charles Lu
22d9a191f7 open source under MIT license 2023-01-24 12:10:53 +00:00
chancharles92
69070fce66 README (#116)
* modify readme

* fix typo

* address comments

* minor
2023-01-18 08:56:37 -05: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
Mat R
38a0d3c593 Merge pull request #114 from EspressoSystems/scripts
Make scripts fail out on error
2023-01-12 10:00:02 -07: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
Alex Xiong
d9072ec0bf fix script 2023-01-12 22:29:03 +08:00
ancient123
1cf94f9dc2 Make scripts fail out on error 2023-01-11 10:08:28 -07:00
Mat R
6463dc7a1c Merge pull request #99 from EspressoSystems/dependabot/github_actions/Swatinem/rust-cache-2
Bump Swatinem/rust-cache from 1 to 2
2023-01-11 09:06:12 -07:00
Mat R
97818b9d1b Merge pull request #91 from EspressoSystems/dependabot/github_actions/styfle/cancel-workflow-action-0.11.0
Bump styfle/cancel-workflow-action from 0.9.1 to 0.11.0
2023-01-11 09:05:52 -07: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
Benedikt Bünz
77bc9f5e4a Merge pull request #105 from EspressoSystems/arcpariter-new
Parallelization optimizations
2022-12-19 13:55:04 -05:00
Charles Chen
65b19382f5 typofix 2022-12-19 12:32:28 -05:00
Charles Chen
c18d5d6578 uncomment 2022-12-16 14:23:46 -05:00
Charles Chen
35620b945b tmp commit for benchmark multithread 2022-12-16 14:17:53 -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
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
chancharles92
94092ca6a4 fix bench.rs (#103)
* fix bench.rs

* fix script

* fix rayon bug

* simplify high degree tests

* temporarily turnoff a bench subset

* minor

* uncomment

* minor fix

* comment

* uncomment

* minor fix

Co-authored-by: zhenfei <zhenfei.zhang@hotmail.com>
2022-11-29 11:01:22 -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
dependabot[bot]
eb80631d69 Bump Swatinem/rust-cache from 1 to 2
Bumps [Swatinem/rust-cache](https://github.com/Swatinem/rust-cache) from 1 to 2.
- [Release notes](https://github.com/Swatinem/rust-cache/releases)
- [Changelog](https://github.com/Swatinem/rust-cache/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Swatinem/rust-cache/compare/v1...v2)

---
updated-dependencies:
- dependency-name: Swatinem/rust-cache
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-11-17 16:15:23 +00:00
Charles Chen
cf49741b7e fix bench code 2022-11-13 10:13:59 -05:00
Charles Chen
4fdbec33a6 minor 2022-11-09 21:53:46 -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
Benedikt Bünz
8818ad35ed Merge pull request #93 from EspressoSystems/binyi-optimize
reduce the number of rounds in batching
2022-11-02 15:45:08 -07:00
Charles Chen
4c9f4390dc reduce rounds in batching 2022-10-24 18:19:55 -04:00