mirror of
https://github.com/luxfi/pq-profile-ids.git
synced 2026-11-02 15:23:18 +00:00
Lux Industries Inc
3b6050a4ad
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.
23 lines
1008 B
Plaintext
23 lines
1008 B
Plaintext
Apache License
|
|
Version 2.0, January 2004
|
|
http://www.apache.org/licenses/
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
you may not use this file except in compliance with the License.
|
|
You may obtain a copy of the License at
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
See the License for the specific language governing permissions and
|
|
limitations under the License.
|
|
|
|
Copyright 2025-2026 Lux Industries Inc.
|
|
Copyright Plonky3 contributors (upstream).
|
|
|
|
P3Q is a post-quantum-only profile and fork of Plonky3 — the strict
|
|
STARK/FRI/SHA-3 subset for Lux Z-Chain (HIP-0078). No KZG, no BN254,
|
|
no Groth16, no PLONK wrappers, no elliptic-curve recursion.
|