Co-Founder & CEO of @IrreducibleHW
Joined December 2022
- Tweets 142
- Following 282
- Followers 618
- Likes 502
3 Photos and videos
Pinned Tweet
8 Jan 2025
Small step for the crypto world, but big for Irreducible. Godspeed, #binius!!!
8 Jan 2025
🚀Big news! Irreducible launches alpha-ready Binius library and its first application, an Ethereum state proving service. Here’s what it means: 🧵
4
2
27
6,253
Mar 24
Hi All, seems like my TG was hacked. I haven’t used it much lately, since Irreducible shut down. Please ignore all the messages, and since I’m no longer in crypto, feel free to kick me out from all the groups 🙏
2
3
270
Mar 24
PS: it was the sms 2fa that got hacked. Please consider choosing a safer option for yourself
2
89
12 Nov 2025
@jimpo_potamus and I made the difficult but right call to wind down Irreducible.
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.
7
1
30
2,421
12 Nov 2025
A big thanks to all the past team members for their endless efforts, and to our investors for their infinite support.
2
9
569
12 Nov 2025
Last, but not least important, I felt so fortunate to share the blood/sweat/tears with @jimpo_potamus. Legend.
8
552
31 Oct 2025
Seems like we're hacked - please ignore this while I am working with X support to regain the access to the account. Apologies to all if this post got you confused
1
1
7
2,366
8 Sep 2025
👀
You may say I'm a dreamer
But I'm not the only one
8 Sep 2025
6
669
Radisav Cojbasic retweeted
24 Jun 2025
@__zkhack__ Berlin is officially done, wrapping up @BerBlockWeek!
Congratulations to all the winners! And thanks to everyone for making this 5th edition a great success!
#zkhack #zkhackberlin
12
23
119
32,942
Radisav Cojbasic retweeted
2 Jun 2025
🔹@radi_cojbasic, Co-founder of @IrreducibleHW
Radi Cojbasic, co-founder of Irreducible, focuses on advancing proof efficiency for blockchain scalability.
His practical perspective on zkVM challenges will make the 'zkVMs in Practice' panel a must-watch for engineers and researchers 🤝
🗓 June 10th
📍 House of Music, Berlin
🎟️ lu.ma/hozkethproofs
1
1
8
493
Radisav Cojbasic retweeted
26 May 2025
🎉 You’re Invited to Irreducible's Happy Hour, for the strong start of Berlin Blockchain Week!
Link: lu.ma/6yel3a1o
📍 Where: Irreducible's Berlin Office
📅 When: Monday, 9th of June, 5pm - 9:30pm
RSVP now and bring your spark. Let’s make it a happy hour to remember!
2
3
40
4,776
25 May 2025
I will be speaking at ETHproofs panel in Berlin on Tuesday, June 10. Pass by if you’re in town for the Berlin Blockchain week!
25 May 2025
1
22
921
9 May 2025
Irreducible does not stop innovating!
After Binius, the first Binary Tower proof system designed for high-efficiency computing, we are pushing into another layer of the proving stack - Hello World, Petra!
After presenting a Custom-HW-ISA targeting our FPGA accelerator (which operates in the Binary Tower fields), today we present a Custom-zkVM-ISA which targets Binius.
We will have WASM -> Silicon stack, designed with help from our friends from @0xPolygon and @powdr_labs.
PetraVM is a community effort, catch the wave today 🏄
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!
1
4
27
3,726
Radisav Cojbasic retweeted
4 May 2025
zkVM tracker update
→ new row for Miden VM
→ new row for [redacted] by a top team
→ @KakarotZkEvm on Ethproofs this month?
3
15
117
21,610
Radisav Cojbasic retweeted
22 Apr 2025
Introducing The Boundless Protocol
Designed to scale ZK-powered verifiable compute for every chain. Making it more efficient, reliable and accessible.
690
433
1,864
505,292
Why risc-v over wasm for Ethereum contracts?
If the argument is that there is more risc-v zkVMs than wasm ones, then that's the wrong way to look at it.
WASM actually has a lot of nice properties that EOF is trying to add, which risc-v doesn't have (e.g. it doesn't have jumps and is easier to analyze statically).
The ability to prove properties about contract code and lower to machine code while preserving gas accounting are the key properties. This actually has been done in wasm by ewasm couple of years ago (surprised that VB didn't mention this in the post).
ZK-friendliness between risc-v and wasm shouldn't be the deciding factor (and it is a toss-up based on what I found when I deep dived this ~2years ago).
20 Apr 2025
New @VitalikButerin blog post on replacing the EVM with RISC-V in the long-term.
I am a huge fan of this direction for Ethereum's execution layer.
Today, RISC-V zkVMs like SP1 are the clear endgame solution for "ZK-ifying" Ethereum and quickly becoming the de-facto solution for ZK EVM. But as Vitalik cites in this post, our research at Succinct shows that the EVM is an extremely inefficient ISA for ZK proving.
This proposal to migrate the execution layer directly to RISC-V can be viewed as migrating to "native" code for a ZK world as opposed to living in an interpreted world that imposes between 100-1000x overhead. By replacing EVM with RISC-V for the execution layer, we can up the gas limit on L1 by orders of magnitude (assuming optimization of other bottlenecks like a more zkVM friendly state merkleization format), while preserving verifiability.
Link to full blog post below.
40
31
272
66,379
20 Apr 2025
This is the way
20 Apr 2025
If the requirement is to keep Rust adoption, even something like WASM custom compiler can be a lot more efficient than RISCV. The trade off is more compiler/VM work on top of the zkVM, which IMO seems negligible given the huge goal of snarkEthereum
1
5
2,407
Radisav Cojbasic retweeted
20 Apr 2025
This is the way
20 Apr 2025
If the requirement is to keep Rust adoption, even something like WASM custom compiler can be a lot more efficient than RISCV. The trade off is more compiler/VM work on top of the zkVM, which IMO seems negligible given the huge goal of snarkEthereum
1
2
13
2,658
17 Apr 2025
Very happy to see Tower Research, an HFT powerhouse, putting a solid piece on ZK proving.
17 Apr 2025
We've been studying Zero Knowledge Proofs here at Tower to better understand the supply chain, flow of value, and their use as a general computing primitive.
Special thanks to @Snarkify_ZKP for their input on the piece.
tower-research.com/contempor…
1
10
675
Radisav Cojbasic retweeted
14 Apr 2025
Binance, you’re considering delisting Zcash!?
What kind of world are you creating? Do you want your children to grow up in peace and prosperity, or a Black Mirror episode?
@_RichardTeng, Privacy is normal! Support privacy by supporting Zcash, like Coinbase, Gemini, and Kraken!
94
180
1,068
357,125