Production ZK · Post-Quantum Safe

2.0µs prove. 2.09ns verify.
Circle STARK, M31 field, Poseidon2 hash.

H33 ZKP Stark Lookup is H33's production zero-knowledge proof system. Prove any statement about private data — age, identity, credit, location — without revealing the data itself. ~180KB proofs. Post-quantum safe. One API call.

2.0µs

Prove (async)

2.09ns

Verify (cached)

~180KB

Proof Size

56-bit Q

M31 Field

Get API Key Read the Docs

What is H33 ZKP Stark Lookup

Prove facts without revealing secrets.

H33 ZKP Stark Lookup lets your application prove that a computation was performed correctly — without revealing the underlying data. Circle STARK over M31 field with Poseidon2 hash. This is the cryptographic primitive behind private identity verification.

LOOKUP

Table-based proofs

Traditional ZK systems re-execute computations inside a circuit. H33 ZKP Stark Lookup takes a different approach: it proves computational integrity using Circle STARK over the M31 field with Poseidon2 hashing. This makes proofs about membership, range checks, and set containment extraordinarily fast and post-quantum secure.

~180 KB

Transparent, post-quantum proofs

A complete H33 ZKP Stark Lookup proof is ~180KB. No trusted setup required. Based on hash functions (Poseidon2), not elliptic curves, making them inherently quantum-resistant. Proof caching achieves 2.09ns verification for returning users.

POST-QUANTUM

Quantum-safe by construction

H33 ZKP Stark Lookup is built on hash-based commitments (Poseidon2) and algebraic structures over the M31 field that resist quantum attacks. When combined with H33's Dilithium signatures and Kyber key encapsulation, you get an end-to-end post-quantum proof pipeline. No classical elliptic curve assumptions. No trusted setup ceremony. Ready for the post-quantum era today.

Raw Performance

Microseconds, not milliseconds.

Benchmarked with Criterion.rs, 100+ samples. These numbers are measured, not projected.

Prove

2.0µs

Generate a complete H33 ZKP Stark Lookup proof (async)

Verify (cached)

2.09ns

Cached verification for returning users

Proof Size

~180KB

Transparent, no trusted setup

Comparison

Orders of magnitude apart.

H33 ZKP Stark Lookup vs every major ZK proof system in production. Same security guarantees, different universe of performance.

Note: Competitor timings below are legacy/pre-optimization baselines. See API docs for current H33 KZG & IPA production numbers (e.g., KZG prove 40.7ms, IPA prove 40.6ms after Rayon parallelization).

System	Prove (Legacy)	Verify (Legacy)	Proof Size	Trusted Setup	vs H33 (Prove)	vs H33 (Verify)
H33 ZKP Stark Lookup	2.0µs (async)	2.09ns (cached)	~180KB	None	—	—
Groth16	18ms	2.14ms	96B	Required	10,588x slower	13,129x slower
KZG	108ms	~5ms	96B	Required	63,529x slower	30,675x slower
IPA (Bulletproofs)	170ms	~12ms	944B	None	100,000x slower	73,620x slower
FRI (STARK)	30ms	~3ms	47KB	None	17,647x slower	18,405x slower
RISC Zero (zkVM)	44+ sec	~250ms	~200KB	None	25,882,353x slower	1,533,742x slower

Inside H33 Auth

<1% of the pipeline. 100% of the proof.

H33 ZKP Stark Lookup runs as part of H33's 1.28ms CollectiveAuthority flow. It generates the zero-knowledge proof that confirms identity without any data exposure.

Step 1

BFV Encrypt

385µs (27%)

Step 2

FHE Inner Product

650µs (45%)

Step 3

Threshold Decrypt

268µs (19%)

Step 4

Combine+SHA3

75µs (5%)

Step 5
Dilithium Batch Attest
53µs (4%)

Total H33 CollectiveAuthority: 1,280µs · H33 ZKP Stark Lookup is the ZK layer that makes zero data exposure possible.

What You Can Prove

Private proofs for real applications.

Every proof confirms a fact about the user without revealing the underlying data. The verifier learns the answer — never the secret.

Identity

Age Verification

Prove a user is over 18, 21, or 65 without revealing their birthdate. The verifier learns “yes/no” — nothing else.

Prove: 2.0µs (async) · Statement: age ≥ threshold

Finance

Credit Worthiness

Prove a credit score exceeds a minimum threshold without revealing the actual score. No data leaves the user's control.

Prove: 2.0µs (async) · Statement: score ≥ 650

Compliance

Residency & Jurisdiction

Prove a user resides in an eligible jurisdiction without revealing their address. Coordinate-level precision, zero location exposure.

Prove: 2.0µs (async) · Statement: location ∈ region

Identity

Biometric Match

Prove a biometric template matches a stored reference using Poseidon hash and cosine similarity — entirely in ZK. Template never leaves encrypted form.

Prove: 2.0µs (async) · Statement: similarity ≥ 0.95

Healthcare

Medical Eligibility

Prove insurance status, treatment eligibility, or patient identity for HIPAA-compliant workflows. No PHI exposed to the verifier.

Prove: 2.0µs (async) · Statement: eligible = true

Finance

KYC / AML Compliance

Prove KYC completion and sanctions clearance without passing personal data between institutions. The proof is reusable across verifiers.

Prove: 2.0µs (async) · Statement: kyc_passed ∧ ¬sanctioned

Integration

Three lines to prove. One to verify.

zk-stark-example.js
JavaScript

// Generate a zero-knowledge age proof
const proof = await h33.zkp.prove({
  'statement': 'age_gte',
  'threshold': 21,
  'private_input': user.birthdate,   // never leaves client
  'public_input': Date.now()
});
// proof.size = ~180KB | proof.time = 2.0µs (async)

// Verify on server — no private data needed
const valid = await h33.zkp.verify(proof);
// valid = true | verify.time = 2.09ns (cached)

// Batch verify 64 proofs at once
const results = await h33.zkp.batchVerify(proofs);
// 64 proofs verified, 2.09ns each (cached)

// Or use it inside full-stack auth (1.28ms total)
const auth = await h33.auth.verify({
  userId: 'user_123',
  biometric: faceData,
  // H33 ZKP Stark Lookup proof generated automatically as part of the flow
});

            

2.0µs prove. 2.09ns verify. Circle STARK, M31 field, Poseidon2 hash.