Eric McCarthy

According to our database, Eric McCarthy authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Formalization of the Yul Language and Some Verified Yul Code Transformations.

Alessandro Coglio, Eric McCarthy

Proceedings of the Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, July, 2025

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake.

Alessandro Coglio, Eric McCarthy

CoRR, April, 2025

2023

Compositional Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere

IACR Cryptol. ePrint Arch., 2023

Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio, Eric McCarthy, Eric Whitman Smith

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

2022

Syntheto: A Surface Language for APT and ACL2.

Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2021

Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.

Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy, Eric Smith

IACR Cryptol. ePrint Arch., 2021