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 |
|
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 |
|