540 Commits

Author SHA1 Message Date
poma
397e170b41 add filter zeros tool 2020-05-18 10:27:42 +03:00
poma
5b3c3151a7 get_info tool 2020-05-12 07:04:19 +03:00
poma
9420c72716 update readme 2020-05-12 03:18:47 +03:00
poma
732f09b908 contribution verification scripts 2020-05-12 02:58:29 +03:00
poma
24a1b1fe10 contribution verification scripts 2020-05-11 11:14:33 +03:00
Alexey
c014a7ae83 verify banch of responses 2020-04-30 15:19:27 +03:00
Alexey
4ee36f5245 docker files 2020-04-30 09:54:02 +03:00
Kobi Gurkan
19037214ec NCC-CSWZ001-002: adds num exp as input to beacon_constrained and adds input validation 2020-04-29 20:50:09 +03:00
poma
6bca852b8b NCC-CSWZ001-004 update rust-crypto and solidity version 2020-04-29 18:10:07 +03:00
poma
69b0005d6a fix dockerfile 2020-04-28 11:32:34 +03:00
poma
978c3c183b update cargo lock, fix merge 2020-04-28 11:23:57 +03:00
poma
1b5decdf67 ceremony dockerfile 2020-04-28 11:18:27 +03:00
poma
c3dd7fb2ab update ceremony size 2020-04-28 11:15:03 +03:00
Alexey
746c6e65b7 fix api path 2020-04-28 11:14:46 +03:00
poma
43438ad68f update url 2020-04-28 11:14:43 +03:00
poma
e98bd26932 tornado ceremony binary 2020-04-28 11:14:12 +03:00
poma
fec9729bc9 curl 2020-04-28 11:14:06 +03:00
Alexey
9c6608773d return hash from wasm 2020-04-28 11:08:51 +03:00
Kobi Gurkan
d0accedf87 comments about secret data safety 2020-04-28 11:08:13 +03:00
Kobi Gurkan
d79ba70c89 adds check_ratio tests and modifies tests to accomodate it 2020-04-28 11:08:10 +03:00
Kobi Gurkan
72a2111e03 moves verify.rs to examples and adds comments about safety 2020-04-28 11:08:05 +03:00
Kobi Gurkan
9098e203ea fixes tests and updates cargo lock 2020-04-28 11:07:54 +03:00
poma
be9a8552fa fix deprecated warning 2020-04-28 11:02:59 +03:00
Alexey
91b65c72c3 update dependencies for bellman WIP 2020-04-28 11:02:53 +03:00
Alexey
b09a1b2c6c update dependencies for powersoftau WIP 2020-04-28 11:02:41 +03:00
Alexey
ac43c18b5f update dependencies for phase2 WIP 2020-04-28 11:02:05 +03:00
poma
ad45b1f757 validate beacon input data 2020-04-28 11:01:34 +03:00
Alexey
0226a2a267 add beacon_hash as arg 2020-04-28 11:01:31 +03:00
Alexey
8512a497a7 providing entropy for the wasm contribution 2020-04-13 23:24:10 +03:00
Kobi Gurkan
89e71c5d18 adds missing return 2020-04-13 23:24:06 +03:00
Alexey
6c19e9f294 fix hex 2020-04-13 19:25:55 +03:00
poma
3facfafe83 speed up json read 2020-04-13 17:43:26 +03:00
Alexey
d3cc6d3a5b add beacon_hash as arg 2020-04-13 14:13:10 +03:00
Roman Semenov
f17a1ad70f create workdir in docker 2020-04-09 21:22:15 +03:00
poma
d8dc50a735 minor code style 2020-02-29 15:35:40 +03:00
Georgios Konstantopoulos
5d82e40bb7 Make setup abstract over the curve being used (#11)
* refactor(bin): make `calculate_hash` a utility function

* feat: make the engine part of the setup parameters

We add an extension trait to Engine to specify the group element sizes
per curve used. We implement that for each curve we want to support.

Added support for BLS12-381

This allows moving the type constraint from the constructors in BatchedAccumulator and KeyPair to the params, improving ergonomics, and prepares multi-curve support in the CLI

* feat(params): do not require harcoding the group sizes

* feat(bin): add CLI params to reduce_powers and prepare_phase2
2020-02-13 11:53:48 +02:00
Georgios Konstantopoulos
614b4b899d Make ceremony params configurable at runtime (#10)
* feat(parameters): Replace trait with a params struct

We define a CeremonyParams struct which contains a curve and setup-specific parameters
The curve is a CurveParams struct which contains the sizes of the compressed and uncompressed group elements
This will allow us to easily extend the implementations over multiple curves and constraint numbers (currently these are hard coded and cannot be easily chagned)

* feat(keypair): Use the CeremonyParams struct instead of being generic over the PowersOfTauParams trait

* feat(accumulator): Use the CeremonyParams struct instead of being generic over the PowersOfTauParams trait

* feat(batched-accumulator): Use the CeremonyParams struct instead of being generic over the PowersOfTauParams trait

driveby-change: also replace println's with error/info logs

* feat(batched-accumulator): Use the CeremonyParams struct instead of being generic over the PowersOfTauParams trait

driveby-change: also replace println's with error/info logs

* refactor(bn256): delete bn256 module and move tests to better locations

* fix(bin): make all binaries build with the CeremonyParams object

* test(e2e): run the test with circuit power and batch size provided at runtime

* chore: remove unused accumulator.rs and new.rs
2020-02-13 11:04:29 +02:00
Georgios Konstantopoulos
32bbd5f35c chore: cargo fmt + make clippy happy (#9) 2020-02-12 14:46:33 +02:00
Kobi Gurkan
b3c18de8a6 Merge pull request #8 from tornadocash/master
pull all circom-related functionality from binaries into library
2020-02-12 08:24:45 +02:00
poma
c81dfb07dd move vk_x before the loop 2020-02-07 22:55:41 +08:00
poma
f85e53b925 tidy up whitespace 2020-02-07 22:55:15 +08:00
poma
880e07bcf6 fix key export (don't filter params by default) 2020-02-07 22:22:29 +08:00
Roman Semenov
7efe0d0112 Merge pull request #2 from weijiekoh/feat/audited-verifier-sol
Audited verifier_groth.sol
2020-02-07 22:21:54 +08:00
Koh Wei Jie
856e3c60c8 iterate through proof elements to check if each is lte the prime q; remove verifier-invalid-input-length check 2020-02-07 00:07:51 +08:00
Koh Wei Jie
8d0cb865c1 restored abi-encoded proof code from poma 2020-02-06 18:17:45 +08:00
Koh Wei Jie
21bd15db9d restored Solidity tweaks by poma (solc 0.6.0, gas(), and docstrings) 2020-02-06 16:51:13 +08:00
Koh Wei Jie
560557dfb5 switched verifier_groth.sol to the audited version and forced uint256 typecasts in the template replace code 2020-02-06 16:37:55 +08:00
poma
25a243fde4 fix build for reduce_powers 2020-02-03 13:59:19 +08:00
poma
c8f7e68f3a move circuit and witness load functions outside of circuit struct 2020-01-31 17:45:38 +08:00
poma
27ad5eb7c5 fix verifier.sol bugs, port it to Solidity 6 2020-01-31 17:03:00 +08:00