9 Commits

Author	SHA1	Message	Date
parazyd	6a024ab801	zkas: Add a field definition on top of the circuit file. ... Currently unused, but will probably be expanded to define proofs over different fields.	2023-08-14 17:09:18 +02:00
parazyd	99f68db953	zkas: Enforce k declaration on top of the source file.	2023-07-20 14:19:52 +02:00
aggstam	8e4f93f4a9	proof/*: removed coin_blind from hashes	2023-06-19 21:38:00 +03:00
parazyd	be9013ed31	zkas: Rename "contract" to "witness".	2023-05-10 13:24:02 +02:00
Luther Blissett	deaed0bdc8	Update zkas proofs merkle root opcode.	2022-08-29 22:41:23 +02:00
parazyd	8ef05a186b	crypto: Rework pedersen commitments to allow also full-width base inside zk.	2022-08-08 15:01:11 +02:00
parazyd	e00c8e0147	zkas: Separate constants into specific types.	2022-02-08 13:41:51 +01:00
parazyd	79c59cda17	Move "proofs" to "proof".	2022-01-25 23:41:16 +01:00
narodnik	1c22269d3c	add missing files	2021-10-30 22:12:33 +02:00