microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
673 stars 176 forks source link

add a bench for ppsnark #302

Closed srinathsetty closed 5 months ago