Report

Least Authority Concludes Security Audit of Mina Protocol’s Transaction Logic and Transaction Pool

Least Authority has concluded a security audit report, marking the completion of Track 2 of Testworld Mission 2.0

Testworld Mission 2.0, an incentivized testnet in preparation for the impending upgrade, has now concluded track 2 of 4. 

Testworld Mission 2.0 is an important step before Mina’s upcoming upgrade, which will increase zkApp functionality and performance on Mina’s Mainnet. It represents a significant milestone towards easier programmable ZK proofs on a mainnet, and sets the stage for the Mina ecosystem to flourish with additional functionalities and enhanced security.

As part of Testworld Mission 2.0 – track 2 (external security audit), Least Authority, a comprehensive security consulting service, recently concluded an audit of Mina Protocol. For this audit, Least Authority performed research, investigation, and review of the Transaction Logic and Transaction Pool implementation of the Mina protocol written in OCaml followed by issue reporting, along with mitigation and remediation instructions. 

See the full report and audit findings here

Following the completion of the report, two fixes have been implemented. The rest has been deemed less critical and will be worked on post-upgrade. Track 2 of Testworld Mission 2.0 was also about finding new vulnerabilities with the help of several ecosystem partners. You can find a more detailed update in the announcement here.

What’s Next

As Track 2 is concluded, attention now shifts to the remaining stages. Track 3, which focuses on protocol and performance testing, is already in progress, with over 200 skilled node operators preparing  to test the hardiness of the network.

If you’d like to receive the latest updates on Mina’s upcoming upgrade, make sure you’re signed up for the monthly newsletter.

About Mina Protocol

Mina is the world’s lightest blockchain, powered by participants. Rather than apply brute computing force, Mina uses advanced cryptography and recursive zk-SNARKs to design an entire blockchain that is about 22kb, the size of a couple of tweets. It is the first layer-1 to enable efficient implementation and easy programmability of zero knowledge smart contracts (zkApps). With its unique privacy features and ability to connect to any website, Mina is building a private gateway between the real world and crypto—and the secure, democratic future we all deserve.

More from our Blog

SEE ALL POSTS
Announcement,Community / 2023-12-12 / Vitor Silva
Testworld Mission 2.0 Protocol Performance Testing – Program Extension Details
Program Extension Details December 12, 2023 The Testworld Mission 2.0: Protocol Performance Testing program has been extended (“Testworld Mission 2.0 Program (Extended)”). The goal of this extension is to address areas of improvement within the network infrastructure and resolve issue fixes to meet the overall program’s objective. For more details on the extension, including additional […]
Read more
Announcement / 2023-12-04 / Mina Foundation
Introducing Core: A new program for the Mina ecosystem
Read more
Events / 2023-12-02 / Mina Foundation
Builders, are you ready for Taipei Blockchain Week?
Read more
Events, Retro / 2023-11-24 / Mina Foundation
Recap: Mina x Devconnect Istanbul 2023
Read more

About the Tech

AboutTechCta

Mina uses advanced cryptography and recursive zk-SNARKs to deliver true decentralization at scale.

Get Started

GetStartedCta

Mina makes it simple to run a node, build and join the community.