14 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
parazyd	be9013ed31	zkas: Rename "contract" to "witness".	2023-05-10 13:24:02 +02:00
mohab metwally	8167f81e95	[consensus/stx] verify stx	2022-11-21 14:09:29 +02:00
mohab metwally	a41ef16c83	proof/tx.zk use nullifier_k in pedersen	2022-11-19 15:39:34 +02:00
mohab metwally	aa356a00bd	fix typo in tx.zk	2022-11-18 17:18:31 +02:00
mohab metwally	08eb5936bb	transfer transaction based off lead coin	2022-11-18 16:53:20 +02:00
mohab metwally	43f6521a2f	proof/tx.zk fix witness, and constrains	2022-11-17 19:51:27 +02:00
mohab metwally	fa89bae1bf	[proof] fix c3/c4 constrained commitments	2022-11-17 18:47:23 +02:00
mohab metwally	a12042678a	use new constrain_equal sig	2022-11-17 18:34:32 +02:00
mohab metwally	c4e0748dc7	fix typo	2022-11-17 18:33:53 +02:00
mohab metwally	764fd812e5	proof/tx.zk, proof/lead.zk witness const pallas::Base in zkas	2022-11-17 18:30:39 +02:00
mohab metwally	ccfcc59e09	missing quote	2022-11-17 18:25:14 +02:00
mohab metwally	33d2aecf00	proof/tx.zk created	2022-11-17 18:22:50 +02:00