18 Commits

Author	SHA1	Message	Date
x	37bd0ccdf4	zk tracer: add a bool pass through instead of using if let idiom. As a consequence we change weaker matches into stronger unwraps.	2023-08-19 13:13:26 +02:00
x	f3a6672bfb	zk: add debug tracer	2023-08-19 12:51:34 +02: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	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
aggstam	5044141b24	fmt	2023-01-12 13:57:51 +02:00
aggstam	4dadf292ec	fmt, fixed broken imports, general cleanup	2023-01-12 13:52:26 +02:00
x	93752a0b74	Merge branch 'dao-contract'	2022-12-31 07:58:16 +01:00
x	22c5ed1fef	fix broken example/zk.rs	2022-12-30 20:56:42 +01:00
parazyd	71cd3064d6	Update license year.	2022-12-28 13:06:00 +01:00
parazyd	d7ee8f3e0c	Update calls throughout repository for latest darkfi-sdk changes.	2022-11-07 01:42:39 +01:00
parazyd	8ae84ad7f9	Add license header to source files.	2022-10-31 18:16:13 +01:00
parazyd	6215fc7bd6	zk: Port code to latest Halo2 API. ... greater_than and crypsinous lead proof are temporarily disabled.	2022-06-18 16:08:52 +02:00
ghassmo	d7775c210b	run cargo fmt	2022-05-22 15:08:08 +03:00
parazyd	587f0b4b93	make fix and minor manual cleanups.	2022-05-22 12:29:23 +02:00
parazyd	f8c2ee5617	Port codebase to latest halo2 API.	2022-05-16 17:30:46 +02:00
narodnik	29a9182010	simple zk contract example	2022-04-22 11:34:56 +02:00