The Howdy 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.