From b3967cdd4d6aef8068f0c222257477109ce084ca Mon Sep 17 00:00:00 2001 From: Hanzo AI Date: Thu, 4 Jun 2026 17:05:50 -0700 Subject: [PATCH] =?UTF-8?q?refactor(p3q/ct):=20rename=20p3q=20=E2=86=92=20?= =?UTF-8?q?starkfri=20in=20CT=20harness?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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. --- p3q/ct/dudect/verify_ct.go | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/p3q/ct/dudect/verify_ct.go b/p3q/ct/dudect/verify_ct.go index fbd0158..d3a5251 100644 --- a/p3q/ct/dudect/verify_ct.go +++ b/p3q/ct/dudect/verify_ct.go @@ -64,7 +64,7 @@ import ( "unsafe" "github.com/luxfi/geth/common" - p3q "github.com/luxfi/precompile/p3q" + starkfri "github.com/luxfi/precompile/starkfri" ) // Pool size: 64 valid inputs is enough to expose any per-content @@ -120,7 +120,7 @@ func p3q_verify_ct_setup() C.int { // CT measurement on the precompile dispatch + backend invocation // itself, not on a particular verification outcome. (The CT // property we want must hold regardless of backend acceptance.) - p3q.RegisterVerifier(func(byte, []byte, []byte) (bool, error) { + starkfri.RegisterVerifier(func(byte, []byte, []byte) (bool, error) { return true, nil }) @@ -183,10 +183,10 @@ var ( func p3q_verify_ct(data *C.uint8_t) { inputSlice := unsafe.Slice((*byte)(unsafe.Pointer(data)), kInputLen) input := append([]byte{}, inputSlice...) - _, _, _ = p3q.P3QVerifyPrecompile.Run( + _, _, _ = starkfri.StarkFRIVerifyPrecompile.Run( nil, dummyCaller, - p3q.ContractP3QVerifyAddress, + starkfri.ContractStarkFRIVerifyAddress, input, supplied, true,