Eric McCarthy

According to our database, Eric McCarthy authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

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 W. 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