feat: add native verify command via Jolt verifier FFI#83

Merged

MatteoMer merged 4 commits into

MatteoMer:mainfrom

maxgttph:feat/native-verify-command

Apr 16, 2026

Commits on Apr 15, 2026

feat: add native verify command via Jolt verifier FFI
maxgttph
committed

Commits on Apr 16, 2026

fix(build): use preferred_link_mode for Zig 0.15.2 API

MatteoMer
and
claude
committed
fix(build): link jolt-verifier into exe unit tests too

MatteoMer
and
claude
committed
fix(build): link libgcc_s on Linux for Rust staticlib unwind symbols

MatteoMer
and
claude
committed