Anthony Hart

According to our database, Anthony Hart authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2.

Anthony Hart, Morgan Thomas

IACR Cryptol. ePrint Arch., 2022

Arithmetization of Functional Program Execution via Interaction Nets in Halo 2.

Anthony Hart

IACR Cryptol. ePrint Arch., 2022