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. Learn the basics of Pact to create a smart contractGetting started
Pact is a human-readable smart contract language. It 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.
Pact is the programming language for writing smart contracts to be executed by the Kadena blockchain.
Kadena Tech Bulletin 5Whether you are 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 will provide our community of builders and developers with all the updates and tools needed to help nurture and scale their projects in our ever-growing ecosystem.
Kadena 2023 Q2 NewsletterAs 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 SpecificationKadena’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 BulletinThe 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.