StarkWare are open-sourcing the battle-tested prover that has been powering rhino since 2020.
22 Aug 2023, 18:09
StarkWare are open-sourcing the battle-tested prover that has been powering rhino since 2020.
Congratulations @StarkWareLtd on the huge milestone 🪨 🪨 🪨