
Dmitry Khovratovich
@khovr
Researcher at Ethereum Foundation
Founder of ABDK Consulting
ID: 594313877
30-05-2012 05:06:46
355 Tweet
2,2K Takipรงi
119 Takip Edilen



On Sunday 10.20 AM at Defi Security Summit Dmitry will talk about unusual bugs that arise when coding DeFi apps in circuits for Rollups and ZK proofs Catch it here: youtube.com/watch?v=vCfeffโฆ







coming soon: there is an invisible line in circuit complexity. nobody knows exactly where it is! cross it - and everything will go down in flames and beware of quines, they want to hurt you (upcoming work with Ron Ron Rothblum and Dmitry Dmitry Khovratovich )

1/ Excited, but frankly quite worried, about a new work with the wonderful ๐ด levochka.eth ๐ด ๐๐๐ฎ๐ฑโ๏ธ๐ฆ๐ก๏ธ and Dmitry Khovratovich: ia.cr/2025/118 We break soundness of a standard protocol (essentially commit to witness and run GKR) by constructing a circuit for which we can prove a false statement.


Jordi Baylina - baylina.eth Polygon Jeremy Bruestle RISC Zero Norbert Vadas ZkCloud Justin Drake Ethereum Foundation Ethproofs Stephen Duan ZKM Alexandre Belling Linea.eth @MayaD09111862 StarkWare ๐บ๐ฑ Will Corcoran porter | ZKsync โ Matter Labs (โ, โ) ZKsync (โ, โ) alecjames.eth | nexus.xyz Nexus Argument Luca Donno L2BEAT ๐ Ethereum Alexander Hicks Declan Fox reka Yi Sun โจ Axiom OpenVM Leo Alt powdr labs George Kadianakis Radisav Cojbasic Irreducible Carlo Modica Lita Dominik Schmid Miden Mamy Ratsimbazafy ๐ฆ๐ Uma Roy Succinct Alice Liu ๐นDmitry Khovratovich, Researcher at Ethereum Foundation Dmitry Khovratovich, a cryptography researcher at the Ethereum Foundation, is a ZK security expert. His perspective on benchmarking in the verification standards panel will guide developers ensuring robust proof systems ๐ค ๐ June 10th ๐


StarkWare/Starknet StarkWare ๐บ๐ฑ has launched S-two, a high-speed ZK prover designed for use on everyday devices. Benchmarks show it dramatically outperforms existing zkVMs in speed and efficiency across various tasks like SHA3 and matrix multiplication. Already integrated with

