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
parazyd	3686c32591	cherry picked fullwidth pedersen	2022-08-09 12:56:44 +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	78c325fc2c	add merklepath zk type	2021-10-30 17:57:49 +02:00
narodnik	2f4c5b24ad	merge patch for proof/mint.zk from halo2-burn branch	2021-10-30 13:46:01 +02:00