arnaucube/hyperplonk
1
0
Fork 0
mirror of https://github.com/arnaucube/hyperplonk.git synced 2026-01-10 16:11:29 +01:00
Code Issues Projects Releases Wiki Activity
76 Commits 1 Branch 0 Tags
451d6cb2d88e7ccce5d44f5a61023925c56bcebd
Commit Graph

76 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
dependabot[bot]
37920cc65f Bump styfle/cancel-workflow-action from 0.9.1 to 0.11.0 
Bumps [styfle/cancel-workflow-action](https://github.com/styfle/cancel-workflow-action) from 0.9.1 to 0.11.0.
- [Release notes](https://github.com/styfle/cancel-workflow-action/releases)
- [Commits](https://github.com/styfle/cancel-workflow-action/compare/0.9.1...0.11.0)

---
updated-dependencies:
- dependency-name: styfle/cancel-workflow-action
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-12 16:25:41 +00: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
MRain
3160ef17f2 Merge pull request #74 from EspressoSystems/chengyu/pcs 
PCS crate moved to jellyfish repository
 2022-09-06 10:47:53 -04:00
MRain
14fcd6a7b2 Specifying dependency 2022-09-06 10:37:49 -04:00
MRain
85b36ca39f add a TODO. 2022-09-06 10:13:35 -04:00
MRain
acb4b23d45 PCS crate moved to other repository. 2022-09-06 10:07:33 -04:00
chancharles92
32cc0c4fd9 Refactor HyperPlonk SNARKs (#73) 2022-09-02 14:11:32 -04:00
chancharles92
2af479ee84 refactoring building block PIOPs (#71) 2022-08-31 17:24:02 -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
066c370b3c 49 verify validity of subclaims in plonk verification (#51) 2022-08-09 12:40:28 -04:00