7 Commits

Author	SHA1	Message	Date
skoupidi	080417bb3f	chore: replaced all MerkleTree::new(100) with MerkleTree::new(1) for consistency	2024-04-27 16:02:36 +03:00
parazyd	0c7dbc4460	zk/vm: Implement first part of conditional chip selection. ... Signed-off-by: parazyd <parazyd@dyne.org>	2023-07-22 16:22:26 +02:00
parazyd	8ac1d17077	Use k param from ZkBinary when building VerifyingKey and ProvingKey.	2023-07-22 12:04:41 +02:00
Dastan-glitch	12c628efdb	zk: use reference instead of cloning	2023-07-20 16:17:49 +03:00
parazyd	8257d7cdbe	sdk: Replace incrementalmerkletree with bridgetree crate.	2023-06-12 14:31:19 +02:00
parazyd	bd6a6bfaf2	zkas: Rename "stack" to "heap". ... "stack" is a misnomer, and the behavior of the zkVM is more heap-like than stack-like when doing an analogy with general computing.	2023-05-10 14:35:51 +02:00
x	ee108d0147	zk inclusion proof example	2023-01-29 13:05:13 +01:00