21 Commits

Author	SHA1	Message	Date
Roman	471077b7df	test: add sequencer vs replayer target	2026-05-19 11:31:48 +08:00
Roman	b4997ba1af	fix: add assert_nonce_increment_correctness helper	2026-05-18 13:22:54 +08:00
Roman	720cce4efc	fix: move reusable invariants into shared module	2026-05-18 11:02:05 +08:00
Roman	3121162fd8	test: fuzz multi block state sequence	2026-05-15 14:20:55 +08:00
Roman	ee53518606	test: fuzz apply state diff split path	2026-05-15 14:12:02 +08:00
Roman	d4b9da66cc	test: fuzz program deployment lifecycle	2026-05-15 13:17:43 +08:00
Roman	bd3e10de62	test: fuzz witness set verification	2026-05-15 12:40:30 +08:00
Roman	fca7afc7dc	test: fuzz state serialization	2026-05-15 10:39:18 +08:00
Roman	64e8f335a3	fix: extend coverage for fuzz_block_verification	2026-05-14 10:38:59 +08:00
Roman	0aefa289d2	fix: improved replay rejection detection	2026-05-13 13:52:19 +08:00
Roman	1641775dd8	fix: improve detection of malformed input	2026-05-13 10:43:40 +08:00
Roman	3370a39417	fix: add canonical encoding check	2026-05-13 10:34:57 +08:00
Roman	24e912636a	fix: cross key signature validation	2026-05-13 10:25:55 +08:00
Roman	1feb0f27a9	fix: add reverse completeness check	2026-05-12 13:49:03 +08:00
Roman	18265815e4	fix: move to fuzz-driven state generation	2026-05-12 13:18:18 +08:00
Roman	50dab4cfb8	fix: add state consistency checks	2026-05-12 13:00:38 +08:00
Roman	e512f7a4df	fix: sync with the latest lez changes	2026-05-07 14:27:44 +08:00
Roman	f411509eb2	fix: targets and props	2026-04-24 12:04:20 +08:00
Roman	8bd0a1a612	fix: add new fuzz targets ... - template for adding targets	2026-04-15 15:47:01 +08:00
Roman	1befa25333	fix: sync new_with_genesis_accounts params	2026-04-15 13:47:36 +08:00
Roman	c62bacece0	Initial commit	2026-04-13 16:03:20 +08:00