
Developeruche
@developeruche
Followers
719
Following
2K
Media
90
Statuses
540
ZK, Rust, Blockchain. 🧘♂️
space
Joined August 2020
🚀 Big news for #Ethereum! Just wrapped phase-one research + PoC showing how Rust smart contracts (or any lang targeting RISC-V ISA) can run on a RISCV variant of the EVM! 🦀💻 🔍 Research: https://t.co/GY00w333dC 💻 Rust PoC code: https://t.co/ztZUK1Z1cu Read the thread for a
4
16
57
Ethereum Foundation Protocol will host a Reddit AMA on Aug 29 at 2pm UTC questions can be submitted now :) https://t.co/lBPmKQVO0i
69
142
538
ZK Saturday wasn’t just another talk. It was a blueprint for the future. “The goal isn’t just building the framework of future technology, it’s bringing everyone along.” – @seunlanlege Huge thanks to @cypriansakwa for unpacking Plonk & setting the stage for what’s next.
5
17
79
🚀 ZisK v0.10.0 is out! ✅ Lots of small fixes ⚙️ Performance improvements 💥 Now runs with < 48 GB RAM! A big step forward in efficiency—give it a try! 🔗 https://t.co/NU9YrYxJy3
#ZK #ZKProofs #ZisK #Ethereum
github.com
⚠️ Disclaimer: Software Under Development ⚠️ This software is currently under active development and has not been audited for security or correctness. Please be aware of the following: The softwar...
5
8
49
Thrilled to announce that @only1franchesco and I won the @PolyhedraZK Explore Expander zkML track! We developed a compiler that translates ML models compiled to ONNX into Expander circuits, enabling model inference to be proven and verified using the Expander backend
zkML Explore Expander Bootcamp winner @iammadab breaks down how zkML becomes the backbone for verifiable, intelligent systems. 🎥From The Polyhedra Show
38
42
331
Amazing post that explains the tricks for achieving 1.5GHz riscV trace generation.
How did @ziskvm achieve a mind-blowing 1.5 GHz RISC-V trace generation—10× faster than any other zkVM? 🤯 They smashed the sequential bottleneck holding back real-time ZK proofs. I deconstructed their genius two-part strategy in my latest blog post. A must-read for anyone in
0
7
23
🧵9/9 The ZisK team has redefined the limits of what's possible for zkVMs. To get the full deep dive, check out the complete blog post. Huge props to @ziskvm for their work and @eth_proofs for the initial post! #zkVM #ZeroKnowledge #RISCV #Blockchain #Cryptography #ZKP
0
0
4
🧵8/9 The impact is huge. ➡️ Short-term: Massively reduced latency and hardware cost. You need fewer GPUs to achieve real-time proving. ➡️ Long-term: This creates a clear roadmap for ASICs that can generate verifiable traces at native speed. This is the endgame for verifiable
2
0
3
🧵7/9 This is a profound architectural feat. It completely decouples the parallel workers from the initial state of the machine. There's no need to transfer huge, multi-gigabyte memory snapshots across the network—a process that would kill performance.
1
0
3
🧵6/9 Part 2: Memoryless Re-Execution. This minimal trace is sent to a cluster of parallel provers. Each worker can now re-execute its assigned chunk without needing the original memory. When a LOAD instruction appears, it just plucks the next value from the Memory Read Log.
1
0
3
🧵5/9 Instead, it generates a super-lightweight "Minimal Trace" containing just two things: 1. Memory Read Log: A simple list of every value the program reads from memory, in order. 2. Register Checkpoints: A snapshot of all CPU registers at the start of each "chunk" of work.
1
0
3
🧵4/9 But raw speed isn't the real trick. The genius is what this fast code doesn't do. It does not generate the full, multi-gigabyte execution trace. Doing so would just create a new I/O bottleneck. This is where the magic happens. ✨
1
0
3
🧵 3/9 ZisK's solution starts with Part 1: Raw Speed via Ahead-of-Time (AOT) Compilation. Instead of slow interpretation, they translate the entire RISC-V program into hyper-optimized native x86_64 machine code. The result? A lean binary that runs at near-native speeds,
1
0
3
🧵 2/9 First, let's understand the problem: The Prover's Dilemma. ZK proving has two stages: 1. Trace Generation: Executing a program step-by-step. Inherently sequential and SLOW. (The Bottleneck) 2. Proving: The math-heavy part. "Embarrassingly parallel" and fast on GPUs.
1
0
3
How did @ziskvm achieve a mind-blowing 1.5 GHz RISC-V trace generation—10× faster than any other zkVM? 🤯 They smashed the sequential bottleneck holding back real-time ZK proofs. I deconstructed their genius two-part strategy in my latest blog post. A must-read for anyone in
5
14
45
Huge thanks to the legends behind r55: @lcvella @0xrusowsky @0xRampey @leonardoalt @0xurb @0xyorke @rakitadragan @gakonst @Seecoalba 🫡 @kevaundray r55:
github.com
Contribute to r55-eth/r55 development by creating an account on GitHub.
1
1
6
🌟 Run Rust smart contracts on Ethereum! 🚨 INTRODUCING HYBRID V0.1.0🚨 🔹 Hybrid Node: Reth-based, supports EVM & RISC-V. 🔹 Cargo Hybrid: Rust CLI to: - Create contracts (e.g., ERC20) - Compile to RISC-V (r55) - Deploy to hybrid node Explore: https://t.co/K3fWozXHCJ
1
1
22
Two bugs were discovered in Plonky3's FRI verifier, thanks to @zlangley and @AngusGruen. https://t.co/QhHSuD9Wvu
github.com
### Vulnerability - When rolling in polynomials of lower degree, the FRI prover and verifier were just adding in the low degree polynomials without any randomness. A malicious prover could potenti...
12
23
162
🚀 Masterclass: A Solidity Blueprint for Onchain Analysts Speaker: @developeruche 📅 May 23, 2025 🕖 7PM (UTC+1) Learn how Solidity contracts work, decode key functions, and write smarter queries on Flipside, Dune & more. 🔍 EVM storage • ERC20/DEX/NFT logic • Event tracing
1
8
9