Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Pact is an open-source smart contract programming language for the Kadena blockchain platform. Pact is designed to be human-readable and writeable, featuring formal verification support, a syntax that integrates naturally with natural language clauses and English keywords. It is used to create secure and predictable smart contracts that can interact with each other in complex ways while preventing common security vulnerabilities such as reentrancy bugs or integer overflow errors.

Hire Pact Experts

Enter your email to get started.