Blog

FAQs: MoonMath Manual to zk-SNARKs

Our MoonMath Manual to zk-SNARKs is generating a lot of interest and so we’ve put together answers to some of the most common questions. What are zk-SNARKs and why should I care? Zk-SNARKs, or zero-knowledge succinct non-interactive arguments of knowledge, is a type of zero-knowledge proof that allows for the

Read More »

DeGate – zk-SNARK Circuit

For this audit, we reviewed the zk-SNARK circuit component of the DeGate system. Aswith Loopring 3.6, DeGate utilizes a zk-SNARK to off-load large parts of the computation off-chain. Our final audit report was completed on May 6, 2022. To read the full report, including our findings, click here: Report

Read More »

Loopring – 3.6 Design + Implementation: Smart Contracts and Circuit

Loopring is a flexible layer-2 scalability solution for basic value transactions as well as a variety of exchanges such as order book and Automated Market Maker (AMM). This system uses advanced cryptography in the form of a limited one-way homomorphic encryption using bilinear pairings, popularized in the implementation of the

Read More »

Mina Ledger Application

O(1) Labs has requested that Least Authority perform a security audit of the Mina Ledger Application and its integration for the Nano S/X Hardware Wallet. Mina is a cryptocurrency with a lightweight, constant-sized blockchain utilizing zk-SNARKs and aims to improve scaling while maintaining decentralization and security. Our final audit report

Read More »
Archives