neural/trident/tests/fixtures/differential/auth_preimage.tri

program differential_auth_preimage
use std.crypto.preimage
use vm.crypto.hash
fn main(expected_secret: Field) -> Field {
    preimage.verify_preimage(hash.single(expected_secret))
    1
}