Commit Graph

99 Commits

Author SHA1 Message Date
narodnik
7158df6a29 show binary repr of -1 mod q 2020-10-07 00:54:28 +02:00
narodnik
6db00eac33 fix original mimc example 2020-10-07 00:10:51 +02:00
narodnik
ae181b1da3 add mimc hash function 2020-10-07 00:04:53 +02:00
narodnik
6ec9ff9d82 remove unused constants from bits.psm 2020-10-06 14:46:48 +02:00
narodnik
cb8851df17 bit decomposition 2020-10-06 14:44:52 +02:00
narodnik
930a1cc712 add public values in comments 2020-10-04 14:41:58 +02:00
narodnik
1d5ef0d17e reveal public values 2020-10-04 14:37:58 +02:00
narodnik
0bfe462401 replace {{prefix}} with {{P}} 2020-10-04 14:34:57 +02:00
narodnik
90c255aa0b working point addition 2020-10-04 14:25:21 +02:00
narodnik
051d87fb18 create local variables in crypto ops section 2020-10-04 05:03:22 +02:00
narodnik
6e07c8c3fd improve help text 2020-10-04 02:23:42 +02:00
narodnik
8c66b8b148 vm intermediate language generating rust file for testing. serialization required. 2020-10-04 02:19:45 +02:00
narodnik
12863ecbc2 completed vm.py 2020-10-04 01:18:15 +02:00
narodnik
3267015f2e simplify vm.pism 2020-10-03 23:45:19 +02:00
narodnik
77b7552d5a make fake zk jubjub add 2020-10-03 23:42:39 +02:00
narodnik
9d9d30815a add jubjub identity stuff 2020-10-03 23:25:41 +02:00
narodnik
164d4bc453 add jubjub.rs 2020-10-03 23:21:59 +02:00
narodnik
e2c77a2329 add jubjub.py 2020-10-03 23:11:06 +02:00
narodnik
af98124390 clean up the example modp 2020-10-01 13:03:35 +02:00
narodnik
dfe076627b bls scalar field 2020-10-01 12:58:30 +02:00
narodnik
7407923d35 add missing set operation to vm.rs test 2020-10-01 10:12:33 +02:00
narodnik
89eb6e8c27 add vm.pism file 2020-10-01 02:15:41 +02:00
narodnik
716192f5a2 add missing lcaddN commands 2020-10-01 02:14:06 +02:00
narodnik
5aafeeea6c move public function down 2020-10-01 02:10:56 +02:00
narodnik
b659e1b2d7 fix bug 2020-10-01 02:10:09 +02:00
narodnik
34934ac9e4 vm outline 2020-10-01 02:08:22 +02:00
narodnik
b022fadcf9 removed unneeded constraint 2020-09-30 23:23:26 +02:00
narodnik
9f3058fe21 basic minimal ZK pure homegrown with tegridy 2020-09-30 23:20:53 +02:00
narodnik
ee5f69b917 remove silly bool check 2020-09-28 15:12:13 +02:00
narodnik
ad425c652c pnl calculation 2020-09-28 14:56:45 +02:00
narodnik
3050937711 add eq test 2020-09-25 23:49:04 +02:00
narodnik
147d099596 fix missing type checking for compiler 2020-09-25 13:01:59 +02:00
narodnik
b4f7590b26 QAP sample 2020-09-24 23:13:20 +02:00
narodnik
4ae0f30feb tohtml script 2020-09-23 17:00:11 +02:00
narodnik
1776f87d59 hide the coin... we don't reveal that 2020-09-23 16:40:21 +02:00
narodnik
2724fd3cb5 finished merkle inclusion proof 2020-09-23 16:35:55 +02:00
narodnik
e6590a4ebf add merkle hash function 2020-09-23 16:13:12 +02:00
narodnik
2d6beacaac begin merkle root hashing. 2020-09-23 15:46:32 +02:00
narodnik
1d4349fdf4 put unused_mut in contracts to suppress warning. 2020-09-23 15:06:49 +02:00
narodnik
7c7119572e switch nullifier hash to PRF_NF 2020-09-23 15:00:37 +02:00
narodnik
d366922217 partially working spend contract (just needs merkle inclusion part) 2020-09-23 13:29:20 +02:00
narodnik
7369f8f404 use a jinja macro to define a new function for putting fr values :) 2020-09-22 20:58:57 +02:00
narodnik
6e9c86a6de added code for mint contract 2020-09-22 20:37:17 +02:00
narodnik
a23afddab1 add bash script for mint contract 2020-09-22 16:01:03 +02:00
narodnik
fbd0653c5d initial mint contract 2020-09-22 15:59:24 +02:00
narodnik
0d97db8f6c add comment with vim autoload for pism 2020-09-22 14:11:43 +02:00
narodnik
521443363f add preprocessor highlighting to pism syntax file 2020-09-22 09:42:57 +02:00
narodnik
e59009461b add simple preprocessor 2020-09-22 09:33:45 +02:00
narodnik
b6324df476 fix breaking change from last commit 2020-09-21 22:48:14 +02:00
narodnik
f6410d5499 finished adding final commands: ec_get_u, alloc/clone_bit, binary_push, scalar_alloc, conditionally_reverse, scalar_as_binary, scalar_enforce_equal, emit_scalar 2020-09-21 22:44:56 +02:00