README

Fiat-Go: Synthesized Correct-by-Construction Go Code for Cryptographic Primitives via Fiat-Crypto

Testing

Test Generated Go

License

Fiat-Crypto and all generated code is distributed under the terms of the MIT License, the Apache License (Version 2.0), and the BSD 1-Clause License; users may pick which license to apply.

See COPYRIGHT, LICENSE-MIT, LICENSE-APACHE, and LICENSE-BSD-1 for details.

Directories

Path Synopsis
32
curve25519
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p224
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p256
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p384
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
poly1305
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
secp256k1
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
64
curve25519
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p224
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p256
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p384
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p434
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p448solinas
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
p521
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
poly1305
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.
secp256k1
Code generated by Fiat Cryptography.
Code generated by Fiat Cryptography.