Coming on the heels of the announcement of the first stablecoin to integrate with the Algorand blockchain, we are pleased to share yet another milestone in our vision of establishing the infrastructure needed for new decentralized assets and financial instruments. Algorand has become a member of the International Swaps and Derivatives Association (ISDA).

A primary focus for Algorand is expanding the breadth and depth of possible transaction classes through advanced financial instruments on the blockchain. …

Image for post
Image for post

As we previously shared with our community, Algorand has been working with Flipside Crypto to make sure that developers are enabled with the right tools.

Decentralized applications (DApps) are considered one of the largest potential uses of blockchain technology, as they open a new world of opportunity to create new functionality never seen before. But little intelligence exists in this area, leaving developers lacking insight into what’s going in and out of their DApps. This makes it challenging to measure success and make enhancements.

Today, we are excited to share that DApp developers on Algorand will now have access to a free analytics suite that offers far more visibility into performance. …

Image for post
Image for post

At Algorand, we have an intense focus on security and take every measure possible to ensure that our blockchain is secure. This includes extensive testing, code reviews, and open-sourcing of the code so that everyone can examine it for themselves.

Because code is only as secure as the protocol it implements, we have carefully analyzed and reasoned about the correctness of the Algorand protocol. But we also know that protocols for distributed systems are notoriously difficult to get right, especially protocols that run on unsecured systems and allow anyone to participate without requiring permission from any authority.

To achieve even greater assurance about the Algorand protocol, and to make future design and validation of new protocols easier, we have chosen to enhance our mathematical proofs on paper with machine-checkable formal verification approaches. For this purpose, we engaged Runtime Verification, a company with deep verification expertise, to verify the correctness of the Algorand consensus protocol. We are pleased to report a major milestone in this effort: Using the Coq theorem prover, the team has developed a precise mathematical model of the protocol and formally verified its safety guarantee (that the blockchain never forks). They have written a blog post describing this effort with links to the repository containing the model and the proof. We want to thank Grigore Rosu, Musab A. Alturki, Brandon Moore, Karl Palmskog, and Lucas Pena for their great effort and achievement. …

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store