59 citations · 95 across the 13 of their papers we have counts for
10 papers · 1 filter
The Anonymity Gap: Understanding Real Privacy in Shielded UTXO-based Protocols for DeFi
Hanze Guo, Stefanos Chaliasos, Yebo Feng +1
Shielded UTXO-based protocols are becoming a core form of privacy infrastructure for DeFi. Unlike mixers that organize privacy mainly around deposits and withdrawals, these protoco…
ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges
Arman Kolozyan, Tom Sorger, Alexander Hicks +1
Zero-knowledge proofs (ZKPs) have become a core technology for privacy and verifiable computing. They are used to secure blockchains that handle billions of dollars and identity ap…
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…
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
Stefanos Chaliasos, Imam Al-Fath, Alastair Donaldson
Zero-knowledge proofs (ZKPs) have evolved from a theoretical cryptographic concept into a powerful tool for implementing privacy-preserving and verifiable applications without requ…
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…
Towards a Formal Foundation for Blockchain Rollups
Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
Blockchains like Bitcoin and Ethereum have revolutionized digital transactions, yet scalability issues persist. Layer 2 solutions, such as validity proof Rollups (ZK-Rollups), aim…
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…
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou +4
The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract de…
SoK: Decentralized Finance (DeFi) Attacks
Liyi Zhou, Xihan Xiong, Jens Ernstberger +7
Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in DeFi…
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin +5
Zero-knowledge proof (ZKP) mixers are one of the most widely-used blockchain privacy solutions, operating on top of smart contract-enabled blockchains. We find that ZKP mixers are…