Antonio Locascio

According to our database, Antonio Locascio authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.

Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits

CoRR, 2024