Protocols, databases, execution (wasm, RISC-V). Ex Irreducible, NOMT, Polkadot.
Joined November 2012
- Tweets 1,209
- Following 611
- Followers 1,186
- Likes 13,640
51 Photos and videos
In this blog post I introduce a useful concept for reasoning about rollups, sharding, light clients and bridges, called State Commitments Arguments.
pep.wtf/posts/sca-and-light-…
3
13
48
9,627
big pep retweeted
12 Nov 2025
Irreducible's time has come to an end.
Long story short, @radi_cojbasic and I ultimately came to the realization that we couldn't sustainably build the kind of deep tech business in ZK that motivated us.
46
15
248
64,439
Last nail into our beautiful fairy tale.
19 Oct 2025
Since y'all spammed my timeline full of #Ethereum existential crises, here's a letter I sent to EF leadership in a year and half ago 😬.
(link in next post because Twitter...)
3
10
1,802
What this announcement fails to convey is how easy it is to write circuits.
Binius64 feels more like writing digital logic circuits writing than ZK arithmetic circuits.
9 Sep 2025
1/ Today marks the beginning of a new chapter for Irreducible. We started as a custom-hardware company, and now we are fully focused on high-performance software.
Read below about our pivot and our new proof system, Binius64 👇
2
5
31
5,143
It's so amusing when you ask claude to provide a plan for some change and it be like:
Week 1: Base Infrastructure
Week 2: Basic cases working
Week 3: All test cases passing
Week 4: Performance optimization & documentation
and then it's done in like 10 minutes.
3
1
11
609
Can we get apt-get repo but with SNARK proofs that the binaries actually come from the claimed commit and compiler? Especially now with the recent breakthroughs in zkvms like Jolt?
Check out the 🧵!
Potentially, compilation could be skipped altogether and machine code for selected platforms could be posted along with a proof of correctness.
There are some caveats and more research is needed, but it's nuts it's possible! Opens big design space.
1
8
575
The first blockchain SDK that integrated NOMT!
29 Jul 2025
Introducing Sovereign SDK -- the first rollup framework that executes 99% of transactions under 10 ms, fast enough to bring price discovery fully onchain.
Now even solo devs can build efficient, global financial apps.
Production-ready today.
Go build the next Hyperliquid.
2
6
53
4,664
Yes, we've been organizing this with Robert K., @pierreaubert from Parity & have started our planning phase.
Not signed yet with Parity, hopefully will be executed this week, waiting on Parity Legal).
3
4
33
976
👀
9 May 2025
Can't keep up with all the new zkVM announcements? Here's one you don't wont to miss.
Today we are introducing a preview of PetraVM, a Binius-based verifiable VM built in collaboration with @0xPolygon!
4
376
big pep retweeted
28 Apr 2025
ETH has a psyops problem
Eth L1 does not have a supply problem.
Eth L1 has a demand problem.
Gas price is <1gwei and at the lowest since EIP1559.
Scaling L1 gas limit by 100x is moot if demand doesn't come back to L1.
16
49
447
57,308
As is blockchain. The indexes are, typically, authenticated.
12 Apr 2025
any database is just a WAL with indexes
then it’s down to tradeoffs in guarantees, storage and indexes
521
big pep retweeted
12 Apr 2025
any database is just a WAL with indexes
then it’s down to tradeoffs in guarantees, storage and indexes
8
13
306
16,204
It's 2025 and people are still blind signing.
14 Dec 2023
It's 2023 and people are still blind signing because no effort was put into solving this problem. These problems will keep happening, not on Polkadot though.
1
1
14
1,098
big pep retweeted
24 Feb 2025
$1.4B and counting.
14 Dec 2023
It's 2023 and people are still blind signing because no effort was put into solving this problem. These problems will keep happening, not on Polkadot though.
6
4
35
27,645
It's a shame that both SP1 and @RiscZero security model doesn't not allow untrusted code.
The logic being: if the code can shoot itself in the knee then we can give up soundness.
However, this logic is flawed in the presence of untrusted code execution, e.g. Smart-Contracts.
28 Jan 2025
SP1 SECURITY DISCLOSURE
Two weeks ago, we publicly disclosed security issues in a previous version of SP1 (V3) on our Github Security Advisory and developer TG. We have thoroughly investigated all reported issues and resolved them in SP1 Turbo (V4). All production customers have been upgraded.
Thank you to @alignedlayer, @class_lambda, @3miLabs, @levs57, and @kiliconu for responsible disclosure of these issues and working with us to resolve them.
We have shared more details on the issues on our blog
and also updated our release notes for SP1 Turbo.
We take security seriously at Succinct. We have undergone multiple audits for SP1 (github.com/succinctlabs/sp1/…), hosted an external audit competition (cantina.xyz/competitions/b92…), employed an internal auditor to thoroughly review all security-critical components of our codebase, and work closely with all our partners to ensure that production systems we deploy have necessary fail-safes.
In addition, we maintain several continuously updated resources that clearly define our security policy (github.com/succinctlabs/sp1/…) and security model (docs.succinct.xyz/docs/secur…).
Overall, while auditors provide valuable insights, they are not infallible, and we remain committed to continuously improving and working hard to ensure our systems are safe and secure for everyone.
Blog: blog.succinct.xyz/sp1-securi…
2
441
This reminds me one of my ideas, I shared them in some channels (eg. w/ zkLLVM folks) but never on X:
Split your program to BBs, number them. PC is now a BB index. Terminators are basically setting PC to the target BB. Then you optimize the shit out of each BBs.
22 Jan 2025
We’re excited to share our latest research & experimental feature: automatically generated custom precompiles! 🤯
Read the detailed report in the article or check out this thread (1/8) 👇
1
2
405
If Native Rollups succeed then EF pull off the greatest rugpull (of the existing generation of rollups) ever.
Wrote my own take on the @drakefjustin's Native Rollups proposal. IMO native rollups are not worth as they presented and outline ways on how to improve them.
🧵
ALT Text Saying, that the proposal picks a suboptimal point.
2
2
688