mirror of
https://github.com/luxfi/pq-profile-ids.git
synced 2026-10-30 15:21:52 +00:00
Single source of truth across Go / Solidity / TypeScript for the IDs
that the strict-PQ profile gate consumes. Resolves drift between:
- papers/pq/pq.tex STARK_FRI_SHA3_PQ (prose)
- teleport/contracts ProofPolicySTARKFRISHA3PQ (deployed)
- teleport/mpc POLICY_ID map
- luxfi/node quasar Go duplicates
Three subpackages, one set of strings:
go/ github.com/luxfi/pq-profile-ids/go
solidity/ @luxfi/pq-profile-ids (PQProfileIDs library
+ OnlyStrictPQ modifier)
ts/ @luxfi/pq-profile-ids-ts
Cross-language KAT in KAT.md; all three test suites re-derive each
pinned constant from its canonical UTF-8 input.
Decomplected: this repo ONLY pins IDs and exposes the policy-gate.
It does NOT verify proofs. The verifier verifies; the gate decides
admissibility.
Tests: Go 5/5 pass, Solidity 12/12 pass, TS 8/8 pass.
10 lines
318 B
Plaintext
10 lines
318 B
Plaintext
@luxfi/p3q-evm is dual-licensed under either:
|
|
|
|
* MIT License (see `LICENSE-MIT`)
|
|
* Apache License, Version 2.0 (see `LICENSE-APACHE`)
|
|
|
|
at your option. SPDX identifier: `MIT OR Apache-2.0`.
|
|
|
|
This matches the dual-license posture of the parent Rust workspace at
|
|
https://github.com/luxfi/p3q and of upstream Plonky3.
|