Files
Hanzo AI b3967cdd4d refactor(p3q/ct): rename p3q → starkfri in CT harness
dudect verify_ct.go now imports luxfi/precompile/starkfri and exercises
StarkFRIVerifyPrecompile.Run. Tracks the upstream rename of the p3q
precompile to starkfri (the STARK/FRI low-degree-test verifier slot).
CT property is unchanged — we measure dispatch+backend invocation,
not verification outcome.
2026-06-04 17:05:50 -07:00
..