@oskaro
SP1-2FA: A New Standard for Verifiable Computation
1/
Succinct introduces SP1-2FA — a dual-attestation system combining ZK proofs with trusted hardware (TEEs). Two layers of verification. Maximum trust.
This changes how we verify on-chain computation.
2/
SP1-2FA = ZK + TEE
SP1 generates a zero-knowledge proof.
A TEE (e.g., AWS Nitro) re-executes the program.
Only if both results match, the proof is accepted.
Redundancy meets cryptographic security.
3/
Why it matters:
ZK alone is powerful — but adding TEE means:
Extra protection from bugs and exploits
Independent attestation
Redundancy like 2FA, but for computation itself
4/
Using SP1-2FA is simple:
Minimal code changes
Integrates with SP1VerifierGateway
Currently in private beta and audited by Zenith
Secure by default.
5/
SP1-2FA is built for high-trust use cases:
AI, oracles, RWA, L2s — if correctness matters, this is the stack.
Join the beta: discord.gg/succinctlabs
Built by @SuccinctLabs