autoresearch

Better.codes: An Open Autoresearch Challenge to Strengthen the Cryptographic Foundations of SNARKs and Blockchain Scalability

The launch of better.codes marks a significant shift in how the cryptographic community approaches the formal verification of proof systems,…