Currently, the small programs that test the reference implementation generated by the Agda specification use fake crypto. As a first "baby step" towards conformance testing, the purpose of this work is to use the crypto used by the real implementation, namely StandardCrypto.