Native differential + memory-safety harness: run the guest's Core code without a zkVM - #222

Merged

defenwycke merged 6 commits into

mainfrom

fuzz/native-core-differential

Sep 7, 2026

Commits on Sep 6, 2026

Native differential harness: run the guest's Core code without a zkVM
defenwycke
committed
610d441
Memory-safety pass on the FFI glue: 661 cases, 0 sanitizer findings
defenwycke
committed
91d6a18
fuzz-native: quote the sanitizer flag so shellcheck stops reading its comma
defenwycke
committed
3e1e5a8
Real-vector differential: 892 mainnet inputs through the guest's VerifyScript
defenwycke
committed
43a2caf
Merge branch 'main' into fuzz/native-core-differential
defenwycke
authored
009d0ec
Merge branch 'main' into fuzz/native-core-differential
defenwycke
authored
be7f083