big pep

@pepyakin

Protocols, databases, execution (wasm, RISC-V). Ex Irreducible, NOMT, Polkadot.

Berlin

pep.wtf

Replies Reposts Media

Pinned
big pep
@pepyakin
Sep 12, 2023
In this blog post I introduce a useful concept for reasoning about rollups, sharding, light clients and bridges, called State Commitments Arguments.
pep.wtf
It's all about light clients
I discuss the notion of state commitment arguments and how they are used to build light clients.
4
big pep
@pepyakin
Oct 20, 2025
Last nail into our beautiful fairy tale.
GIF
Péter Szilágyi
@peter_szilagyi
Oct 19, 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...)
4
big pep
@pepyakin
Sep 9, 2025
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.
Irreducible
@IrreducibleHW
Sep 9, 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 👇
3
big pep
@pepyakin
Aug 27, 2025
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
big pep
@pepyakin
Aug 23, 2025
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 🧵!
big pep
@pepyakin
Sep 1, 2023
Replying to @pepyakin
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