61 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Roman	9d18c9f346	fix: update mutants-protocol recipe	2026-06-07 08:31:09 +08:00
Roman	2b951f733b	fix: add missing feature	2026-06-06 00:50:52 +08:00
Roman	1bb51acd87	fix: make the test platform neutral	2026-06-06 00:31:48 +08:00
Roman	fd95df7c6f	fix: test in harness	2026-06-05 18:55:53 +08:00
Roman	a8d0355b9f	fix: address mutants found in harness	2026-06-05 18:19:32 +08:00
Roman	ccd08aed6f	chore: synchronize with latest lee introduction	2026-06-05 11:12:26 +08:00
Roman	2adc491361	fix: recommit with corpus exclusion	2026-06-05 11:03:44 +08:00
Roman	415e427e88	test: add crash artifacts for regression testing	2026-06-05 10:08:28 +08:00
Roman	a11f554040	chore: prevent PR file list display for corpus files	2026-06-05 10:04:26 +08:00
Roman	477edb48bb	fix: permission and start directory	2026-06-03 12:40:24 +08:00
Roman	ee7b3b0f69	fix: mutants-protocol invocation	2026-05-28 21:27:48 +08:00
Roman	1da53a9566	fix: resolve path to LEZ	2026-05-28 20:50:45 +08:00
Roman	e0720cbceb	test: initial mutants for props and protocol	2026-05-28 20:41:11 +08:00
Roman	aceb12f054	fix: run aggregated coverage instead	2026-05-28 17:59:21 +08:00
Roman	839359546d	fix: unlock new cases with arbitrary block_id and timestamp	2026-05-28 12:11:49 +08:00
Roman	3c8844068f	fix: replace saturating_add to prevent overflows	2026-05-28 11:52:10 +08:00
Roman	88e780b865	fix: improve API around tx invariants	2026-05-28 11:40:38 +08:00
Roman	db477a42d0	feat: apply changes from PR1 except corpus	2026-05-27 19:41:34 +08:00
Roman	176f2b410a	chore: remove old corpus	2026-05-27 19:14:07 +08:00
Roman	5af1504b1b	chore: move fresh corpus from AFL PR into main	2026-05-27 18:33:04 +08:00
Roman	35c07de259	fix: update corpus	2026-05-19 15:23:27 +08:00
Roman	471077b7df	test: add sequencer vs replayer target	2026-05-19 11:31:48 +08:00
Roman	62656c19e2	test: corpus update	2026-05-18 13:44:21 +08:00
Roman	472ea4176a	fix: docs update	2026-05-18 13:42:47 +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	173430a8b5	fix: update docs	2026-05-15 15:04:29 +08:00
Roman	5e0cb7ca42	fix: update corpus	2026-05-15 14:57: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	06e5e2e843	fix: update documentation	2026-05-14 10:55:01 +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	ffb2803fed	fix: entropy leak - eliminate structurally invalid NSSATransactions	2026-05-12 13:39:45 +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	d707c34b61	chore: update corpus	2026-05-07 15:04:53 +08:00
Roman	e512f7a4df	fix: sync with the latest lez changes	2026-05-07 14:27:44 +08:00
Roman	fb6071e72a	fix: unlock cargo-fuzz version	2026-05-07 13:59:19 +08:00
Roman	30b0101357	chore: supplementary docs	2026-04-24 14:37:11 +08:00
Roman	33045e6ec7	fix: update fuzzing guide	2026-04-24 14:20:41 +08:00
Roman	f411509eb2	fix: targets and props	2026-04-24 12:04:20 +08:00
Roman	9c7409fbe7	fix: docs update	2026-04-20 14:09:10 +08:00