pub const VERIFY_ED25519_RATE: f64 = 278_810.0;
Its certificate checks per second at 205 MHz: native simulation (Ed25519 project, fix12 dcb2e6e: 600 verifications, 735.25 cycles each).