GitHub repository: InvisibleExchange/prover_contracts
Primary language: Cairo
Description: The code used to prove the validity of batch transitions