76 Commits

Author	SHA1	Message	Date
x	d275d78ce0	zkas: Support >1 nested calls	2026-01-07 09:22:55 +00:00
zero	e1b259c019	zkrunner: regenerate all proof witness json files	2024-04-10 10:04:29 +02:00
zero	9188a62bb3	smt: simplify ZK gadget. Use root = sparse_merkle_root(pos, path, leaf) instead of the more complicated is_member = sparse_tree_is_member(root, path, pos, leaf)	2024-04-02 09:39:38 +02:00
zero	4532b8d229	for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).	2024-03-27 11:30:04 +01:00
zero	ba60fc05f3	switch zkVM to new SMT gadget	2024-03-18 11:48:36 +01:00
zero	376784af2e	zkas/zk: add sparse_tree_is_member() opcode	2024-03-09 13:10:14 +01:00
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	a374dd2d3a	Move zkrunner/set_v1.zk to proof directory.	2023-08-13 16:24:57 +02:00
parazyd	99f68db953	zkas: Enforce k declaration on top of the source file.	2023-07-20 14:19:52 +02:00
parazyd	5d9a954235	tests: Extend zkvm tests for zero_cond opcode.	2023-07-08 11:12:57 +02:00
aggstam	8e4f93f4a9	proof/*: removed coin_blind from hashes	2023-06-19 21:38:00 +03:00
parazyd	d59d3cd21a	contract/deployooor: Initial impl of non-native smart contract deployment. ... This supports (Re)Deployment of smart contracts, and additionally making them immutable after they have been deployed.	2023-05-30 00:29:13 +02:00
parazyd	f4932072c6	zkvm: Implement cond_select opcode.	2023-05-27 15:35:48 +02:00
parazyd	411d25aa85	Use patched halo2_gadgets project-wide.	2023-05-10 16:17:29 +02:00
parazyd	be9013ed31	zkas: Rename "contract" to "witness".	2023-05-10 13:24:02 +02:00
x	ee108d0147	zk inclusion proof example	2023-01-29 13:05:13 +01: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
parazyd	488e72c803	proof/encrypt.zk: Update with necessary types and opcodes.	2022-12-16 14:13:19 +01:00
parazyd	1c8feadcb6	zkas: Implement EcNiPoint type and EcMulVarBase opcode.	2022-12-16 14:11:59 +01:00
x	f918aab7e2	add example of verifiable encryption	2022-12-16 12:40:44 +01: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
mohab metwally	8167f81e95	[consensus/stx] verify stx	2022-11-21 14:09:29 +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	a41ef16c83	proof/tx.zk use nullifier_k in pedersen	2022-11-19 15:39:34 +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	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	37cbd2e152	update public_inputs, and lead circuit	2022-11-18 12:27:17 +02:00
parazyd	a5fc5528de	proof/opcodes.zk: Fix typo	2022-11-17 20:40:15 +01:00
mohab metwally	43f6521a2f	proof/tx.zk fix witness, and constrains	2022-11-17 19:51:27 +02:00
mohab metwally	6771e023a7	fix lead.zk	2022-11-17 19:27:11 +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
parazyd	5176dc7df0	zkas: Add opcodes for equality constraints of Base and EcPoint.	2022-11-17 17:32:18 +01: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
mohab metwally	b94c3e3413	lead circuit in zkas	2022-11-17 18:22:50 +02:00