24 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	0a8392897e	[consensus] lottery with headstart, for zero-stake participation	2023-01-25 21:46:19 +02:00
mohab metwally	f853d113a2	pruning	2023-01-12 02:44:04 +02:00
mohab metwally	9a376a84d0	[consensus] y in is_lead fixed from commitment to hash, similar to the circuit	2023-01-12 02:41:29 +02:00
aggstam	4ff042dde9	consensus/leadcoin: renamed tau to slot	2022-12-27 17:08:24 +02:00
aggstam	8f7ae3f6e9	consensus: slot configuration updated, transactions per proposal cap added	2022-12-06 22:23:30 +02:00
mohab metwally	f5fbddbeb7	[consensus	2022-11-29 18:03:58 +02:00
mohab metwally	9c1b3ff750	merge conflict resolved	2022-11-29 18:03:58 +02:00
mohab metwally	d80d02ff04	[consensus] clip f value, pruned nonce_cm for lead coin, commented derived coins	2022-11-29 02:58:56 +02:00
mohab metwally	da64f6115b	[consensus] reward for leaders	2022-11-27 17:34:03 +02:00
mohab metwally	015dd222e0	[consensus] validate public values sigmas	2022-11-26 19:50:15 +02:00
mohab metwally	6c27aae820	[consensus/state] verify eta/mu public values	2022-11-25 16:26:35 +02:00
parazyd	1c2613f3f4	zk/vm: Allow strict and loose checks for less_than.	2022-11-21 10:20:04 +01:00
mohab metwally	856ebd9c4a	added derived lead coin, and removed derived coin nonce from public inputs	2022-11-19 21:03:18 +02:00
mohab metwally	d117643e48	lead.zk, consnsus/leadcoin.rs fixed lead contract commitments, prefixes, pk, and changed vm lessthan to non strict	2022-11-19 15:28:57 +02:00
mohab metwally	106bd37525	adhoc minimal lead proof	2022-11-18 17:52:34 +02:00
mohab metwally	37cbd2e152	update public_inputs, and lead circuit	2022-11-18 12:27:17 +02:00
mohab metwally	6771e023a7	fix lead.zk	2022-11-17 19:27:11 +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	33d2aecf00	proof/tx.zk created	2022-11-17 18:22:50 +02:00
mohab metwally	b94c3e3413	lead circuit in zkas	2022-11-17 18:22:50 +02:00