Blog

TACEO – OPRF Noir Circuits

We performed a security audit of TACEO’s OPRF Noir circuits within their OPRF service, which provides publicly verifiable, privacy-preserving nullifiers via a verifiable threshold OPRF (Oblivious Pseudorandom Function). Our final audit report was completed on January 26, 2026. To read the full report, including our findings, click here: Report

Read More »

TACEO – OPRF Circom Circuits

We performed a security audit of the upgraded version of TACEO’s Circom circuits used in their Nullifier Oracle service, which implements publicly verifiable, privacy-preserving nullifiers through a verifiable threshold OPRF (Oblivious Pseudorandom Function). Our final audit report was completed on January 26, 2026. To read the full report, including our

Read More »

Anza Technology – Confidential Transfers in Solana Token-2022 Program

Our team performed a security audit of the Confidential Transfer component of the Solana Token-2022 program. The project, combining the Token-2022 extensions with the zk-elGamal/zk‐sdk, delivers privacy‐preserving token operations while keeping balances and transaction validity cryptographically verifiable via homomorphic twisted ElGamal and Bulletproofs‐based range proofs. Our final audit report was

Read More »

Zcash – NU6.1 Network Upgrade

Least Authority reviewed the changes made to Zebra that will be introduced in the NU6.1 network upgrade. The Zebra project is a Rust implementation of a Zcash node, developed by the Zcash Foundation as an alternative to the reference zcashd client. Its core functionality centers on validating blocks, enforcing consensus

Read More »

Aligned Layer – Layer Operator AVS + Smart Contracts (2nd review)

Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our team recently performed a security audit of the Aligned Layer system as part of a multi-firm audit, targeting Aligned Layer version 0.4.0. In this review, we performed a follow-up audit, focusing on the changes between Aligned Layer

Read More »

Rabby Wallet – Mobile Application (2nd Review)

Our team performed a security audit of the Rabby Wallet Mobile Application, which supports multiple hardware and software wallets for the Ethereum blockchain. The mobile application can manage and host dApps from numerous providers and enables users to interact with the hosted dApps through a unified interface. We previously audited

Read More »

Rabby Wallet – Extension (2nd Review)

Our team performed a security audit of Rabby Wallet, an application designed for managing assets on Ethereum and other EVM-compatible chains, available as both a mobile application and a browser extension, and based on a fork of MetaMask. We previously audited Rabby Wallet and delivered a final audit report on

Read More »

Linea – Limitless Prover

Our team performed a security audit of Linea’s Limitless Prover. The zkEVM aims to provide an execution environment equivalent to the Ethereum Virtual Machine (EVM), allowing Ethereum transactions and smart contract executions. The Limitless Prover feature enables proof generation without the need to impose limits due to the underlying arithmetization.

Read More »
Archives