Pact allows anyone to write clearly, directly and safely onto a blockchain — a true innovation for secure and simple smart contract development. Pact will enable you to create entirely new business models and on-chain services.
Language reference
Reference for the Pact smart-contract language, designed for correct, transactional execution on a high-perdormance blockchain.
Tutorials
Start learning Pact and how to implement it.
Whitepaper
Pact is the programming language for writing smart contracts to be executed by the Kadena blockchain.
Stay up-to-date
Kadena 2023 Q2 Newsletter
As we delve into the exciting developments and achievements of the past three months in our Kadena Q2 Newsletter, we are thrilled to share the latest updates and developments in our ecosystem. Over the past quarter, Kadena has continued to push boundaries, foster innovation, and empower our community of builders and developers with cutting-edge technology. From groundbreaking partnerships to the launch of new projects and the expansion of our global community, there is much to celebrate!
Harnessing Formal Verification for Smart Contract Specification
Kadena’s smart contract language, Pact, is a powerful tool at our disposal. Pact assists developers in creating smart contracts on the Kadena blockchain, called Formal Verification. So what is Formal Verification? In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
Kadena Tech Bulletin
The Internet of Things (IoT) has become a buzzword in the technology industry in recent years. It refers to the interconnected network of devices, sensors, and systems that are able to communicate with each other, collect and share data, and perform automated actions without human intervention. This technology has the potential to revolutionize many industries, from healthcare to transportation, and has already started to transform our daily lives in numerous ways.
Kadena Tech Bulletin
Whether you’re already familiar with Kadena or just learning about it for the first time, the Kadena Tech Bulletin provides a short technical overview of how we are revolutionizing the blockchain industry one block at a time. From Pact to Chainweb to how we are refining our builder onboarding process, we’ll be providing our community of builders and developers with all the updates and tools to help grow and scale their projects in our ever-growing ecosystem.