Blog

Mina – Transaction Logic and Transaction Protocol

Least Authority performed a security audit for Mina Foundation. Mina Protocol is a sophisticated succinct blockchain that utilizes zk-SNARKs and the Ouroboros Samisika Consensus. Mina Protocol intends to introduce zero-knowledge smart contracts called ZkApps in a hard fork, including privacy and off-chain computation features. To read the full report, including our findings, click here:

Read More »

World – Groth16 Verifier in EVM Smart Contract

World request that Least Authority perform research, investigation, and review of the Groth16 Verifier in the EVM Smart Contract followed by issue reporting, along with mitigation and remediation instructions as outlined in this report. To read the full report including our findings, click here: Report

Read More »

World – Protocol Cryptography

Least Authority performed a security audit for Tools for Humanity Corporation of the World Protocol Cryptographic implementation. To read the full report, including our findings, click here: Report

Read More »

Polygon – Plonky2

Least Authority performed a security audit of Plonky2 implementation of Polygon Zero, a library for recursive SNARKs. To read the full report including our findings, click here: Report

Read More »

2021 in Review: How We Contributed to Web3

2021 seems to be the year that we all accepted the term “Web3” as the way to refer to the collective movements of decentralizing infrastructure and empowering users to be in control. It means the next generation of the Internet and beyond, which includes the  tokenization of things for digital

Read More »

Aleo – Trusted Setup: Phase 1

Aleo has requested that Least Authority perform a security audit of the Aleo Trusted Setup. An Aleo setup consists of coordinator and participant roles. The coordinator initializes the setup, verifies contributions, and moves the protocol forward while the participants download the previous contribution, contribute, and upload their contributions. Our final

Read More »

cLab – Plumo Protocol: Arithmetic Optimizations

cLabs has requested that Least Authority perform a security audit of Plumo, a SNARK-based protocol for achieving an ultra fast light client for the Celo blockchain. Plumo is based on the Groth16 SNARK. Specifically, Celo uses the BW6-761 curve and the Groth16 proving system, as implemented in ZEXE, a Rust

Read More »

Venus for Filecoin Foundation

Filecoin Foundation requested that Least Authority perform a security audit of Venus, an implementation of the Filecoin Distributed Storage Network written in Go. Filecoin is a decentralized storage network that transforms unused cloud storage into an algorithmic market in which miners and clients are incentivized to participate. Our final audit

Read More »
Archives