Co-Founder & CEO of @IrreducibleHW
San Francisco, CA
Joined December 2022
- Tweets167
- Following324
- Followers614
- Likes768
Radisav Cojbasic retweeted
OH: 'The "I'm moving to Canada" of the right is "I'm moving my data center to space"'
Radisav Cojbasic retweeted
A student protest movement has gripped Serbia for two years. This weekend it will try to take power theguardian.com/world/2026/o…
Radisav Cojbasic retweeted
Standard One 3B SH v2 now ranks #1 among sub-4B models on the Jev Decision Index by @multimodalart (Full score: 39.9).
3B v3 is already out. We're excited to see where it lands on the leaderboard.
ALT Decision Index 0.3.2 leaderboard, TEXT, Full score, models under 4B parameters, Jev hidden: Standard One 3B SH (v2) at 39.9, followed by 38.9, 38.9 and 38.6.
Introducing Standard One SH: open-weight decision models.
One pass. A probability per option. No text generation.
Decision Index 0.3 public index:
- 3B 51.5, highest under 4B vs the Oct 12 board;
- 8B 57.4
Self-scored with the official kit.
Open weights on @huggingface
🧵 1/6
Radisav Cojbasic retweeted
The images from Ratko Mladić’s funeral yesterday in Belgrade were shocking.
Ratko Mladić was a convicted war criminal. He was responsible for genocide, war crimes, and crimes against humanity. He died while serving a life sentence for the Srebrenica genocide and other crimes.
The elements of official support and the presence of some senior Serbian officials at the funeral are deeply regrettable. They demonstrate a failure to confront a dark chapter in Europe’s recent history and contradict the values underpinning Serbia’s path towards the European Union.
Our thoughts are with all the victims of the crimes committed in the countries of former Yugoslavia.
Radisav Cojbasic retweeted
@__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
Radisav Cojbasic retweeted
🔹@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
Radisav Cojbasic retweeted
🎉 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!
Radisav Cojbasic retweeted
zkVM tracker update
→ new row for Miden VM
→ new row for [redacted] by a top team
→ @KakarotZkEvm on Ethproofs this month?
Radisav Cojbasic retweeted
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).
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.
Radisav Cojbasic retweeted
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!
Radisav Cojbasic retweeted
Politika je lagani ples u kom se korak po korak osvaja publika. Nije realno da jedan protest promeni sve, ali jeste da promeni razliku na semaforu, da nas povuče korak ili dva unapred i obavesti svet da se odnosi snaga menjaju. A večeras je svet itekako obavešten i ne samo to, potpuno ostavljen bez daha.
Stoga, ostavite defetizam po strani, i verujte u moć pumpe!
Radisav Cojbasic retweeted
I’m seeking someone endlessly curious, relentlessly focused, passionate about organizational health, and excited to work in-person alongside @radi_cojbasic and me in Berlin.
If this sounds like you—or someone you know—DM me directly or apply here jobs.ashbyhq.com/irreducible…
Radisav Cojbasic retweeted
Great explainer on Binius and binary tower fields!
Even if math isn’t your thing, I wrote this so that even a ZK newbie can follow along. Check out the article to get a better intuition! You’ll thank me later. 😏
blog.electisec.tech/binius-1…
Radisav Cojbasic retweeted
Here is my conversation with @jimpo_potamus, cofounder/cto of @IrreducibleHW.
Jim is a brilliant human being - he was one of the first engineers at Coinbase, went back to academia for a grad cryptography degree, is now making core contributions to zk.
Here we talk about:
- Binius as a proof system using binary fields
- FPGAs, hardware, running a data center
- the verifiable internet
Links below.
Radisav Cojbasic retweeted
Agglayer v0.2 mainnet is live.
The upgrade brings flexibility via the pessimistic proof, allowing chains with different security models to connect while still providing safety for cross-chain interop.
Next stop: multi-stack capability for chains
Radisav Cojbasic retweeted
1/ Introducing Multi-Multiset Matching (M3): A new Arithmetization Paradigm proposed by @IrreducibleHW team
M3 is a powerful framework for declarative proof generation, breaking away from traditional SNARK traces. 🧵👇
Radisav Cojbasic retweeted
Excited to share some news @CrusoeAI. Today we announced our $600m Series D that was led by the talented team @foundersfund to usher in a new era of abundant intelligence. The future is going to be awesome, come help us build it
crusoe.ai/blog/crusoe-empowe…