
Pact
A human-readable smart contract language.

What is a Smart Contract?
Smart contracts are like regular, paper contracts, except that their terms are enforced by computer code, instead of humans. Imagine if a baseball player received an automatic bonus in his next paycheck because he hit a certain number of home runs. Smart contracts are the next generation of legal contracts. And Pact is the next generation of smart contracts.
What Makes Pact Smarter?
Pact is...
- SimpleEasy for developers to read and write. 
- SafeIncludes formal verification, the same system used to protect nuclear power plants. 
- ScalableRevise and improve contracts over time. 
Control It All With Pact
Get Started With Pact
- Quickstart GuideLearn Kadena’s core concepts by exploring three production dApps. Total commitment: 15 minutes. Start Now
- Explore dApp TemplatesStart coding with the Create-Pact app template now. Start Now
- View the SourceInteract with real code to learn how Pact makes building DeFi, NFT, and dApps easy and safe. View More
- Get the ToolsExplore the comprehensive toolkit for building with Pact on Kadena. Explore More
Learn to Build With Kadena
Let's Discuss Your Project
Connect with our team to learn how our technology and expertise can drive real-world results for your business.