28 Commits

Author	SHA1	Message	Date
x	3aa0e3b722	zkas: Implement debug symbols in the compiled binary	2026-01-07 09:22:55 +00:00
x	9785777642	chore: Update copyright license year ... Happy 2026!	2026-01-01 11:40:45 +00:00
darkfi	2af96b9f83	zkrunner: fix broken witness_gen.py	2025-02-20 12:15:18 +01:00
parazyd	604f443fd1	chore: Update license header year	2025-01-24 10:36:02 +01:00
zero	898ed02880	zkrunner: if (value := foo) can wrongly be false if value is 0, so be explicit with "is not None"	2024-04-10 10:25:59 +02:00
zero	b2d29aaa0a	sdk/python: add missing SparseMerklePath	2024-03-28 09:47:24 +01:00
zero	48d23df367	create zkrender tool to plot circuit layouts	2024-03-24 10:23:43 +01:00
zero	74b7d2f7b8	py: Proof.create() return None when failing rather than use .unwrap()	2024-03-24 09:39:35 +01:00
zero	9d33a10a0b	use proper FuncIds to ref contract funcs such as spend_hook in money	2024-02-02 15:16:03 +01:00
parazyd	0e6f51e895	chore: Update copyright year in license headers	2024-01-16 13:07:22 +01:00
x	1b35330082	zkrunner/pydrk: add --trace argument to zkrunner, and appropriate changes to the py bindings.	2023-08-20 09:47:05 +02:00
parazyd	2483d088d6	zkrunner: Support reading witness data from stdin	2023-08-13 19:13:23 +02:00
parazyd	bcdca64897	zkrunner: Add example working witness.json file.	2023-08-13 16:26:31 +02:00
parazyd	7f53e92516	zkrunner: Perform a rewrite with the cleaned up python bindings.	2023-08-13 16:25:35 +02:00
parazyd	3f5148e149	zkrunner: Remove unused proofs and use symlink for opcodes proof.	2023-08-13 16:24:58 +02:00
parazyd	a374dd2d3a	Move zkrunner/set_v1.zk to proof directory.	2023-08-13 16:24:57 +02:00
parazyd	8f11c34c08	zkrunner: Delete zkas binary artifact.	2023-07-31 07:23:04 +02:00
x	10a371269d	zkrunner: update comments	2023-07-29 19:45:56 +00:00
x	d78e961a78	zkrunner: update README.md	2023-07-29 19:45:56 +00:00
x	f95bc21cab	zkrunner: add set_v1.zk and binary	2023-07-29 19:45:56 +00:00
x	ae9801fce1	zkrunner: update README.md	2023-07-28 22:49:58 +00:00
x	f56c3951dc	zkrunner: Use set_v1.zk as example instead	2023-07-28 22:22:40 +00:00
x	3529519855	zkrunner: Clean up logs and support zkbin.k()	2023-07-28 21:46:55 +00:00
parazyd	99f68db953	zkas: Enforce k declaration on top of the source file.	2023-07-20 14:19:52 +02:00
freerangedev	d4a7ce140f	zkrunner: Rename pubins	2023-06-16 18:53:22 +00:00
freerangedev	9092a58dad	zkrunner: yapf formatting	2023-06-16 18:53:22 +00:00
freerangedev	9912167686	zkrunner: API and style refactoring	2023-06-16 18:53:22 +00:00
freerangedev	ccff4b250f	zkrunner: Add previous work	2023-06-16 18:53:22 +00:00