pub const VERIFY_ED25519_BRAM36: u32 = 43;
Its block-RAM tiles (41 RAMB36 + 4 RAMB18; measured, 007zzi).