Robin Salen
@RobinSalen
Followers
384
Following
3K
Media
9
Statuses
594
ZK Engineering at @0xPolygon. Previously @Toposware. he/him. Opinions are my own.
Joined December 2015
Super exciting new work at @0xPolygon with @IrreducibleHW!. Bullish on @jimpo_potamus's vision, let's gooo.
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!.
0
0
7
RT @SuccinctJT: 1/ Jolt just got a 6× speedup. We now prove over 1,000,000 RISC-V cycles/sec on a 32-core CPU and over 500,000 cycles/sec o….
0
65
0
RT @RiscZero: As we continue to extend the formal verification coverage on our circuits, we have identified and fixed another bug. This bug….
0
12
0
RT @ziskvm: 🚀 ZisK v0.10.0 is out!. ✅ Lots of small fixes.⚙️ Performance improvements.💥 Now runs with < 48 GB RAM!.A big step forward in ef….
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...
0
8
0
RT @TheProofLab: 1/ 🧵 (re-)Announcing ZKarnage! 💥. With support from an @ethereumfndn grant and in collaboration with @eth_proofs, we're la….
0
19
0
RT @eth_proofs: Congrats @0xLita for open-sourcing Valida VM 🎉.Only Valida and Miden target Ethproofs in 2025 with custom zk-friendly ISAs—….
0
11
0
RT @TheCinesthetic: Since its release 11 years ago, just one hour and 31 minutes have passed on Miller's planet in Interstellar. https://t.….
0
27K
0
RT @fede_intern: I always say that most of the ZK/scaling industry depends on @StarkWareLtd work. I am now here to make you remember that….
0
22
0
RT @GavinNewsom: 17 million people just lost health care. 18 million kids just lost school meals. 3 million Americans just lost food assi….
0
36K
0
RT @CPerezz19: This is why Im more bullish on the @ziskvm team than any other. Its not benchmarks or marketing. It's the people. Their conv….
0
7
0
RT @zksync: Ready to prove Ethereum in seconds on a single GPU?. Introducing ZKsync Airbender:. The world’s fastest open-source RISC-V zkVM….
0
896
0
RT @eth_proofs: Major RISC-V zkVM breakthrough!. The ZisK team hit 1.5GHz trace generation—10x faster than other RISC-V zkVMs. A huge unloc….
0
70
0
RT @FFLose: Il y a 15 ans, un match de tennis dont, soyons honnêtes, tout le monde se foutait; commençait.
0
228
0
RT @gluk64: Politely but strongly disagree. Changing the state trie hash function is CRITICAL. Blockchains optimized for ZK have tremen….
0
10
0
RT @RiscZero: RISC Zero Security Disclosure. A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-r….
0
27
0
RT @QuangVDao: My latest paper on optimizing the sum-check protocol is out! Joint work with @SuccinctJT and Ingony….
eprint.iacr.org
At the core of the fastest known SNARKs is the sum-check protocol. In this paper, we describe two complementary optimizations that significantly accelerate sum-check proving in key applications. The...
0
34
0
RT @muhammadshehad2: Israel can surgically bomb a specific apartment in Tehran to kill a top general without collapsing the whole building….
0
15K
0
RT @CharliesIngalls: 🇵🇸🇫🇷 Quelques points histoire qu'on comprenne bien ce que nous vivons depuis 72 heures avec l'arrestation de la député….
0
1K
0