mirror of
https://github.com/luxfi/precompile.git
synced 2026-09-24 00:26:21 +00:00
zeekay
e5ce587b45
dex/: 0x9010 inert-default CLOB facade -> ZAP D-Chain (no embedded AMM; RED H1/H3/H4 fixed). starkfri/: bind the REAL p3q STARK/FRI verifier (cSHAKE256/Goldilocks) via cgo (//go:build starkfri_p3q) + RegisterDefaultVerifier CAS fix; KAT accept-real/reject-tampered; 986 verify/s. inference/: RESTORE the 6 files commit 6f97f5d accidentally deleted (real int8 transformer precompile 0x0300..0003, byte-equal to aivm GPU; cmd/blue builds+runs deterministically). Zero go.mod replace. precompile repo builds clean; go vet clean.
26 lines
1.0 KiB
Go
26 lines
1.0 KiB
Go
// Copyright (C) 2025-2026, Lux Industries, Inc. All rights reserved.
|
|
// See the file LICENSE for licensing terms.
|
|
|
|
//go:build !cgo || !starkfri_p3q
|
|
|
|
// verify_nocgo.go — safe-refuse fallback.
|
|
//
|
|
// This file is compiled whenever the real verifier binding
|
|
// (verify_cgo.go) is NOT — i.e. when cgo is disabled OR the
|
|
// `starkfri_p3q` build tag is absent. It intentionally does NOT call
|
|
// RegisterVerifier, so the package's default state stands: no verifier
|
|
// registered ⇒ Verify()/Run() return ErrVerifierNotRegistered ⇒ there
|
|
// is no forgery oracle (safe-refuse).
|
|
//
|
|
// To get the REAL strict-PQ STARK/FRI verifier:
|
|
//
|
|
// make -C ../../p3q staticlib # build libp3q_c_abi.a
|
|
// go build -tags starkfri_p3q ./... # compile with the binding
|
|
//
|
|
// See verify_cgo.go for the binding and the wire-format bridge.
|
|
//
|
|
// This file carries no symbols; it exists only to document the build
|
|
// matrix and to make the two-file build-tag partition explicit (so a
|
|
// reader greps one place to learn how the verifier is wired).
|
|
package starkfri
|