1 2 3
// DELETED: This file has been replaced by proof_ledger.rs // Use: `use reasonkit::verification::ProofLedger;` compile_error!("algotether.rs is deprecated. Remove this file and use proof_ledger.rs instead.");