tag: pact

Whether 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.

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!

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.

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.

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.

The Pact Core Concepts series is a companion guide to the Real World Pact repository, written by Thomas Honeyman, a senior engineer at Awake Security. The series teaches the essential concepts needed to write and test Pact programs on the scalable Chainweb blockchain. Part III of the series, Testing and Formal Verification in the Pact REPL, teaches you how to secure your smart contracts.

The Pact Core Concepts series is a companion guide to the Real World Pact repository, written by Thomas Honeyman, senior engineer at Awake Security. The series teaches the essential concepts needed to write and test Pact programs on the scalable Chainweb blockchain. Part II of the series, Learn Pact in 20 Minutes, is a crash course in the Pact programming language.

The Pact Core concepts series is a companion guide to the Real World Pact teaching repository. Written by Thomas Honeyman, a senior engineer at Awake Security, the series provides a first look at the essential concepts needed to write and test Pact programs on the scalable Chainweb blockchain. The series is a wonderful way to begin your Pact journey; after you’ve finished reading it, you are well-equipped to dive into the projects in the Real World Pact repository.

Tools that support the development process of software are crucial for ensuring the quality, security, and timeliness of software. This is especially important in the context of smart contracts, which are self-executing programs in a distributed environment. As a result, smart contracts require a high level of security to protect against vulnerabilities that could compromise the integrity of the contract.

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 industry one block at a time. From Pact and 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 the entire ecosystem.