59 citations · 95 across the 13 of their papers we have counts for
13 papers
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…
Evaluating Compiler Optimization Impacts on zkVM Performance
Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos +1
Zero-knowledge proofs (ZKPs) are the cornerstone of programmable cryptography. They enable (1) privacy-preserving and verifiable computation across blockchains, and (2) an expandin…
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…
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis. The idea is to synthesize type-intensive but small and…
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…
Identifying Bugs in Make and JVM-Oriented Builds
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos +1
Incremental and parallel builds are crucial features of modern build systems. Parallelism enables fast builds by running independent tasks simultaneously, while incrementality save…