3 citations · 3 across the 6 of their papers we have counts for
5 papers · 1 filter
LLMs + Security = Trouble
Benjamin Livshits
We argue that when it comes to producing secure code with AI, the prevailing "fighting fire with fire" approach -- using probabilistic AI-based checkers or attackers to secure prob…
Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
Stefanos Chaliasos, Conner Swann, Sina Pilehchiha +3
Rollups have become the de facto scalability solution for Ethereum, securing more than $55B in assets. They achieve scale by executing transactions on a Layer 2 ledger, while perio…
AlDBaran: Towards Blazingly Fast State Commitments for Blockchains
Bernhard Kauer, Aleksandr Petrosyan, Benjamin Livshits
The fundamental basis for maintaining integrity within contemporary blockchain systems is provided by authenticated databases. Our analysis indicates that a significant portion of…
Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
Stefanos Chaliasos, Nicolas Mohnblatt, Assimakis Kattis +1
ZK-Rollups have emerged as a leading solution for blockchain scalability, leveraging succinct proofs primarily based on ZKP protocols. This paper explores the design of transaction…
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Stefanos Chaliasos, Jens Ernstberger, David Theodore +3
Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing privacy and verifiability to having practical, real-world implementations, with SNARKs (Succinc…