Commit Graph

63 Commits

Author SHA1 Message Date
Alexey
4ee36f5245 docker files 2020-04-30 09:54:02 +03:00
poma
6bca852b8b
NCC-CSWZ001-004 update rust-crypto and solidity version 2020-04-29 18:10:07 +03:00
poma
978c3c183b
update cargo lock, fix merge 2020-04-28 11:23:57 +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
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
8512a497a7
providing entropy for the wasm contribution 2020-04-13 23:24:10 +03:00
poma
3facfafe83
speed up json read 2020-04-13 17:43:26 +03:00
poma
d8dc50a735
minor code style 2020-02-29 15:35:40 +03: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
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
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
poma
88a722981f
pull all circom-related functionality from binaries into library 2020-01-31 15:24:08 +08:00
poma
02245e457c
export circom-compatible verifying key 2020-01-31 15:24:08 +08:00
poma
605bfa9381
refactor stuff into lambdas and iterators 2020-01-25 15:29:25 +08:00
poma
dbff653bb8
add methods to load circuit from reader 2020-01-25 13:55:46 +08:00
poma
213aea092f
move p1_to_vec, p2_to_vec, pairing_to_vec to utils.rs 2020-01-24 13:53:28 +08:00
Kobi Gurkan
1ef0e48957 adds small test parameters, generalizes repr_to_big 2020-01-23 16:42:21 +02:00
poma
a3f53aec44
fixes for test script 2020-01-23 00:35:54 +08:00
poma
21c3c6115e
generate public inputs file for proof, test script update 2020-01-23 00:35:46 +08:00
poma
ec08265740
remove obsolete patch_vk script 2020-01-18 21:06:39 +07:00
poma
ee37151483
export alphabeta_12 pairing to verifying key 2020-01-18 21:02:47 +07:00
poma
f182648aa4
fix generate verifier command line args 2020-01-17 22:22:52 +07:00
poma
4ccd5b1e0d
optional rust-crypto for beacon bin 2020-01-17 22:18:37 +07:00
poma
2703431b77
add verifier generation to test.sh 2020-01-17 14:00:49 +07:00
poma
d9dcd41c96
generate verifier smart contract 2020-01-17 13:58:00 +07:00
poma
0832660b2a
update usings 2020-01-17 01:59:53 +07:00
poma
85f64db46e
fix other scripts for updated circom class 2020-01-17 01:59:34 +07:00
poma
d770eb36c6
Generate proof 2020-01-17 00:16:50 +07:00
poma
8f7f1f44f8
implement copy_json in rust 2020-01-15 15:56:19 +07:00
poma
4d9afd031c
remove redundant condition 2020-01-15 15:51:19 +07:00
poma
f66fe1eb9e
rm outdated mimc example 2020-01-13 13:33:08 +07:00
poma
1fa63c9d3d
WebAssembly compatibility 2020-01-13 13:33:00 +07:00
poma
9bdbe85480
Split phase2 into modules 2020-01-09 19:42:55 +07:00
poma
b6945b6029
Minor code style 2020-01-08 19:46:34 +07:00
poma
7dd44484e2
Change entropy to be the last command line arg, add test.sh file that demontstrates phase2 usage 2020-01-08 19:46:34 +07:00