Padlock

LibreSSL's libtls in Ada.

Status

This is alpha software. I'm actively working it. YMMV.

Tested on Linux x86_64 and aarch64 (Raspberry Pi), MacOS aarch64, OpenBSD x86_64 and Windows x86_64.

Usage

Install tada.

Generate certificates with:

openssl req -x509 -newkey ec -pkeyopt ec_paramgen_curve:prime256v1 -nodes -days 365 -keyout key.pem -out cert.pem -subj "/CN=localhost"

Add:

padlock = "VERSION"

to your tada.toml.

Or see:

• example echo server implementation
• example echo client implementation

Run both with:

tada run

Disclaimer

This codebase is written by hand. Claude Code is used for Socratic design exploration and code review.

License

EUPL