feat: native Zig verifier foundation#88

Open

MatteoMer wants to merge 12 commits into

mainfrom

feat/native-verifier

Commits on Apr 19, 2026

feat: native Zig verifier foundation

MatteoMer
and
claude
committed
feat: add fiat-crypto generated Zig field arithmetic for BN254

MatteoMer
and
claude
committed
feat: FiatField wrapper and BN254 Fr/Fp instantiations

MatteoMer
and
claude
committed
test: fiat-crypto fields pass all differential test fixtures

MatteoMer
and
claude
committed
test: algebraic property tests for fiat-crypto fields

MatteoMer
and
claude
committed
feat: extension fields (Fp2/Fp6/Fp12) on fiat-crypto base

MatteoMer
and
claude
committed
feat: BN254 optimal ate pairing on fiat-crypto verified fields

MatteoMer
and
claude
committed
feat: wire fiat-crypto module exports via zolt_arith.fiat

MatteoMer
and
claude
committed