Succinct
@SuccinctLabs
Followers
154K
Following
18K
Media
1K
Statuses
13K
Prove the world’s software.
San Francisco
Joined August 2022
They said it couldn’t be done… We PROVED them wrong. The Succinct Prover Network is now live on mainnet.
The Succinct Prover Network is live on mainnet. Today, we PROVE them wrong.
644
576
1K
4/ ZK everything — from rollups and DEXs to private stablecoins and secure identity. Talk to Succinct. https://t.co/FLxxRt0yn3
docs.google.com
Let us know what you are interested in building with SP1, this is intended for developers not testnet users.
2
1
42
3/ Succinct has the most flexible and production-ready ZK products. Don't just listen to us. Listen to @vnovakovski and teams like Across, Mantle, Offchain Labs, and Polygon.
1
1
55
2/ Serious builders know that ZK is the endgame. Ethereum's security + ZK verifiability = Lightning-fast crypto apps
1
0
33
Privacy is becoming mainstream and accessible to all developers.
ZK proofs revolutionized blockchain privacy — but with a loophole: ZK proofs hide data from the verifier, NOT the prover. @SuccinctLabs just launched Private Proving, powered by Phala's TEE. For the first time: neither the verifier NOR the prover can see your private inputs. 🧵
35
28
171
2/ Robots generate a tremendous amount of sensor data as they interact with the physical world. With ZK, we can distill this information into private and verifiable proofs that robots will use to communicate with each other.
0
2
39
Succinct makes autonomous robots smarter. We're excited to collaborate with @openmind_agi to scale the robot economy.
91
68
482
🚨 @SuccinctLabs is hiring a Head of Marketing (and more, Soon Come)... Are you a visionary strategist? Passionate about the proving economy? About combating AI slop? About blockchains and beyond? Let's chat 👇 https://t.co/jJMGKd49vF
jobs.ashbyhq.com
Succinct’s mission is to make ZKPs simple and accessible for all builders.
32
13
197
Congrats to @NicolasRamsrud and team on their continued progress. Since Day 1, they've used Succinct to build infrastructure for private and provable apps. Succinct will power a universe of private applications 🔜
announcing our first product that runs on lurk and proofbase proofpay, enterprise b2b payments on stablecoin rails sounds boring. and thats the point. so I will focus on the tech side here (which is the interesting bit!) its basically privy for enterprise systems. no new keys,
19
6
100
We are delighted to announce that the @NethermindSec Formal Verification team, led by @PetarMax, in tandem with @SuccinctLabs, and with generous support from @ethereumfndn, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in
8
18
67
8/ This is another step in our mission to prove the world’s software. Read more on our technical blog, and stay tuned for more news about SP1 Hypercube. https://t.co/MzzOa29m5b
blog.succinct.xyz
We are happy to announce that the Nethermind Security Formal Verification team and Succinct Labs have joined forces to formally verify the correctness of all of the core RV-64 chips from SP1 Hyperc...
1
4
40
7/ Succinct is committed to leading from the front on security, giving builders peace of mind. The verification proofs are open source and available here: https://t.co/xBNJ2aeV2o
github.com
Contribute to succinctlabs/sp1-lean development by creating an account on GitHub.
2
3
40
6/ Hypercube is now the first zkVM with formally verified opcode constraints. This is also the first time that the official RISC-V specification has been used in formal verification of such a system.
1
1
27
5/ Formal verification is a mathematical guarantee that Hypercube’s circuits behave exactly as specified. Nethermind is a leader in these formal methods and ZK security.
1
0
26
4/ Over the last six months, we’ve painstakingly prepared Hypercube for production. To maximize security, we asked Nethermind to formally verify Hypercube. We also received a partial grant from the Ethereum Foundation toward this effort.
2
0
28
3/ This “man-on-the-moon” moment changed the L1 scaling roadmap and won praise from leaders like @VitalikButerin and @DrakeFJustin. https://t.co/FykxJB743h
On Tuesday, May 13, we informed @drakefjustin that we had achieved a major milestone: Real-Time Ethereum proving with SP1 Hypercube. His reaction was priceless. Justin generously recorded this segment to explain why real-time proving is a game-changer for Ethereum’s roadmap.
1
1
26
2/ As a reminder, SP1 Hypercube is our next-gen zkVM with cutting-edge cryptography and performance. In May, we used a prototype to achieve real-time Ethereum proving for the first time. https://t.co/sg6PjeSAZw
1
0
26
Succinct always puts security first. In collaboration with @NethermindSec and @EthereumFndn, we’ve formally verified the correctness of RISC-V constraints for SP1 Hypercube.
57
52
312
All 1,000 limited Gen-ZK POAPs have been delivered onchain and dropped straight to your wallets. Massive 🫶 to everyone who joined and made this magical moment possible and special, as we unlocked a huge milestone with @SuccinctLabs. Explore it here: https://t.co/9hSmV1rEeu
The withdrawals improvement for OP-Succinct's integration on Mantle Mainnet is officially completed and in effect at block finalization number 85,237,947. Reminder: There's only 1,000 Gen-ZK POAPs to be dropped, straight to your wallet.
16
12
106