o1-labs/proof-systems

Here's a brief summary of the open-source project: The o1-labs/proof-systems project provides proof systems used by Mina, an open-source project that enables sc