Get there first.

ppad builds and profits from next-generation computing infrastructure, and can help you do so, too.

We create useful things that are simple, secure, and fast. Our commercial specializations include:

• cryptography engineering and cryptosystem architecture
• release engineering, automation, and hardening
• formal, statistical, and game-theoretic verification
• programming language and compiler engineering
• Bitcoin and Lightning Network systems architecture

We offer a number of services, including audits, short-term hardening passes, and longer-term retainers, and are available for high-touch consulting on bespoke projects and going concerns.

Get in touch to learn more about what we can do for you: hello@ppad.tech.