[
  {
    "Title": "Adversarial Testing of the Ironwood Formal Verification",
    "Client": "Zcash",
    "Date": "2026-09-04",
    "Tags": [
      "Zcash",
      "Orchard",
      "Halo2",
      "Lean",
      "Formal Verification",
      "Mutation Testing"
    ],
    "RelPermalink": "/reports/ironwood-fv/"
  },
  {
    "Title": "End-to-End Audit of SecondFi's recovery flow",
    "Client": "SecondFi",
    "Date": "2026-09-25",
    "Tags": [
      "Cardano",
      "gnark",
      "Groth16",
      "Smart Contracts",
      "Web Security",
      "Haskell",
      "Go"
    ],
    "RelPermalink": "/reports/secondfi-e2e/"
  },
  {
    "Title": "Audit of SecondFi's proof-tool circuits and prover patches to gnark",
    "Client": "SecondFi",
    "Date": "2026-09-09",
    "Tags": [
      "gnark",
      "R1CS",
      "SHA-512",
      "blake2b"
    ],
    "RelPermalink": "/reports/secondfi-proof-tool/"
  },
  {
    "Title": "Audit of OpenVM 2.0",
    "Client": "Axiom",
    "Date": "2026-06-09",
    "Tags": [
      "zkVM",
      "STARK",
      "halo2",
      "Keccak",
      "SHA-2",
      "Rust"
    ],
    "RelPermalink": "/reports/openvm/"
  },
  {
    "Title": "Audit of Zcash: Orchard",
    "Client": "Tachyon Foundation",
    "Date": "2026-07-14",
    "Tags": [
      "Halo2",
      "Zero-Knowledge Proofs",
      "Orchard",
      "Zcash"
    ],
    "RelPermalink": "/reports/zcash-orchard/"
  },
  {
    "Title": "Audit of onlyswaps and dcipher (BLS signatures)",
    "Client": "Randa-mu",
    "Date": "2025-09-19",
    "Tags": [
      "BLS",
      "BLS12-381",
      "Threshold Signatures",
      "Shamir Secret Sharing",
      "Hash-to-curve",
      "Solidity"
    ],
    "RelPermalink": "/reports/randa-mu-onlyswaps/"
  },
  {
    "Title": "Generalized Bulletproofs",
    "Client": "MAGIC Grants",
    "Date": "2026-06-01",
    "Tags": [
      "Bulletproofs",
      "Zero-Knowledge Proofs",
      "R1CS"
    ],
    "RelPermalink": "/reports/generalized-bulletproofs/"
  },
  {
    "Title": "Audit of HumanityLink's Aid Distribution System",
    "Client": "",
    "Date": "2026-06-22",
    "Tags": [
      "Aleo",
      "Leo",
      "zkao",
      "JavaScript",
      "Smart Contracts",
      "Backend",
      "Private Transfers"
    ],
    "RelPermalink": "/reports/humanitylink-1/"
  },
  {
    "Title": "Audit of Zeko's circuits, sequencer and DA layer",
    "Client": "Zeko",
    "Date": "2026-06-03",
    "Tags": [
      "Pickles",
      "Kimchi",
      "Recursive Proofs",
      "Threshold Signatures",
      "Merkle Trees",
      "Mina",
      "OCaml",
      "zkApp"
    ],
    "RelPermalink": "/reports/zeko-2/"
  },
  {
    "Title": "Aleo Dynamic Dispatch",
    "Client": "Aleo Foundation",
    "Date": "2025-11-19",
    "Tags": [
      "Poseidon",
      "Schnorr",
      "Merkle Trees",
      "Aleo"
    ],
    "RelPermalink": "/reports/aleo-dynamic-dispatch/"
  },
  {
    "Title": "SnarkVM ECDSA and Serialization Instructions",
    "Client": "Aleo Foundation",
    "Date": "2025-10-06",
    "Tags": [
      "ECDSA",
      "secp256k1",
      "Keccak",
      "SHA-3",
      "Schnorr",
      "Aleo"
    ],
    "RelPermalink": "/reports/aleo-ecdsa-bytes/"
  },
  {
    "Title": "Audit of Aptos Confidential Assets",
    "Client": "Aptos Labs",
    "Date": "2026-03-26",
    "Tags": [
      "Twisted ElGamal",
      "Bulletproofs",
      "Sigma Protocols",
      "Schnorr",
      "Pedersen",
      "ristretto255",
      "Fiat-Shamir",
      "SHA-512",
      "Aptos",
      "Move",
      "Confidential Transfers"
    ],
    "RelPermalink": "/reports/aptos-confidential-assets/"
  },
  {
    "Title": "Audit of Mina's Decentralised Treasury",
    "Client": "Mina",
    "Date": "2026-04-28",
    "Tags": [
      "Poseidon",
      "Merkle Trees",
      "o1js",
      "Mina"
    ],
    "RelPermalink": "/reports/mina-treasury-1/"
  },
  {
    "Title": "Audit of the Stwo-Cairo Verifier",
    "Client": "StarkWare",
    "Date": "2025-08-06",
    "Tags": [
      "Circle STARK",
      "STARK",
      "FRI",
      "Cairo AIR",
      "LogUp",
      "M31",
      "Fiat-Shamir",
      "Merkle Trees",
      "Cairo"
    ],
    "RelPermalink": "/reports/starkware-stwo-cairo/"
  },
  {
    "Title": "Audit of Aptos Encrypted Mempool",
    "Client": "Aptos Labs",
    "Date": "2026-03-13",
    "Tags": [
      "Witness Encryption",
      "Threshold Encryption",
      "IBE",
      "DKG",
      "BLS",
      "KZG",
      "Sigma Protocols",
      "Fiat-Shamir",
      "Trusted Setup",
      "Aptos",
      "Encrypted Mempool"
    ],
    "RelPermalink": "/reports/aptos-encrypted-mempool/"
  },
  {
    "Title": "Audit of INTMAX's zERC20",
    "Client": "INTMAX",
    "Date": "2025-12-08",
    "Tags": [
      "Nova",
      "Groth16",
      "Poseidon",
      "BN254",
      "SHA-256",
      "Merkle Trees",
      "Circuits",
      "Solidity",
      "Private Transfers"
    ],
    "RelPermalink": "/reports/intmax-zerc20-1/"
  },
  {
    "Title": "Audit of Aleo Multisig Wallet and its usage in Compliant Stablecoin and Bridges",
    "Client": "Aleo Foundation",
    "Date": "2025-12-01",
    "Tags": [
      "ECDSA",
      "Threshold Signatures",
      "Shamir Secret Sharing",
      "BHP256",
      "Merkle Trees",
      "Multisig",
      "Aleo",
      "Wallet"
    ],
    "RelPermalink": "/reports/sealance-aleo-multisig-1/"
  },
  {
    "Title": "Audit of Lighter's Spot Market Circuits and Multi-Asset Support",
    "Client": "Lighter",
    "Date": "2025-11-24",
    "Tags": [
      "Plonky2",
      "Poseidon",
      "Goldilocks",
      "Merkle Trees",
      "Circuits",
      "Rollup",
      "Exchange"
    ],
    "RelPermalink": "/reports/zklighter-spot-market/"
  },
  {
    "Title": "Audit of Hyperlane's Aleo Integration",
    "Client": "Hyperlane",
    "Date": "2025-11-17",
    "Tags": [
      "ECDSA",
      "Keccak",
      "BHP256",
      "Merkle Trees",
      "Aleo",
      "Cross-chain"
    ],
    "RelPermalink": "/reports/hyperlane-aleo-1/"
  },
  {
    "Title": "Audit of Lighter's Exit Hatch",
    "Client": "Lighter",
    "Date": "2025-11-05",
    "Tags": [
      "Plonky2",
      "PLONK",
      "BN254",
      "Poseidon",
      "Goldilocks",
      "KZG",
      "BLS12-381",
      "Merkle Trees",
      "gnark",
      "Circuits",
      "Rollup",
      "Exchange"
    ],
    "RelPermalink": "/reports/zklighter-desertexit/"
  },
  {
    "Title": "Audit of Celestia's RSEMA1D Codec",
    "Client": "Celestia",
    "Date": "2025-10-20",
    "Tags": [
      "Reed-Solomon",
      "Data Availability",
      "ZODA",
      "Go"
    ],
    "RelPermalink": "/reports/celestia-1/"
  },
  {
    "Title": "Sealance Compliance Technology for Aleo and Provable CUR Bridge",
    "Client": "",
    "Date": "2025-10-20",
    "Tags": [
      "aleo",
      "leo",
      "compliance",
      "token"
    ],
    "RelPermalink": "/reports/sealance-comp-transfer/"
  },
  {
    "Title": "Audit of Tongo",
    "Client": "FatSolutions",
    "Date": "2025-10-13",
    "Tags": [
      "Sigma Protocols",
      "Zether",
      "Homomorphic Encryption",
      "Cairo",
      "Starknet",
      "Confidential Token"
    ],
    "RelPermalink": "/reports/tongo/"
  },
  {
    "Title": "Audit of Lighter's Wrapper Circuits",
    "Client": "Lighter",
    "Date": "2025-10-10",
    "Tags": [
      "Plonky2",
      "PLONK",
      "BN254",
      "Poseidon",
      "Goldilocks",
      "KZG",
      "BLS12-381",
      "gnark",
      "Circuits"
    ],
    "RelPermalink": "/reports/zklighter-wrapper/"
  },
  {
    "Title": "Solana Confidential Transfers",
    "Client": "Anza",
    "Date": "2025-09-16",
    "Tags": [
      "Twisted ElGamal",
      "ElGamal",
      "Bulletproofs",
      "Sigma Protocols",
      "Fiat-Shamir",
      "Zether",
      "Solana"
    ],
    "RelPermalink": "/reports/anza-solana-token2022/"
  },
  {
    "Title": "Audit of PeerDAS KZG libraries",
    "Client": "Ethereum Foundation",
    "Date": "2025-09-09",
    "Tags": [
      "BLS",
      "BLS12-381",
      "KZG",
      "Data Availability",
      "Pippenger"
    ],
    "RelPermalink": "/reports/ef-blst-kzg/"
  },
  {
    "Title": "Audit of Self: Aadhaar Circuits",
    "Client": "Self",
    "Date": "2025-09-09",
    "Tags": [
      "RSA",
      "SHA-256",
      "Poseidon",
      "Merkle Trees",
      "Sparse Merkle Trees",
      "Circom",
      "Aadhaar",
      "Passport"
    ],
    "RelPermalink": "/reports/self-aadhaar-circuits/"
  },
  {
    "Title": "Audit of Lighter's Block and Delta Layers",
    "Client": "Lighter",
    "Date": "2025-09-08",
    "Tags": [
      "Plonky2",
      "Merkle Trees",
      "Circuits"
    ],
    "RelPermalink": "/reports/lighter-3/"
  },
  {
    "Title": "Audit of Venture23 Aleo Oracle",
    "Client": "Venture23",
    "Date": "2025-08-11",
    "Tags": [
      "ECDSA",
      "Schnorr",
      "TEE",
      "SGX",
      "Aleo",
      "Oracle"
    ],
    "RelPermalink": "/reports/venture23-oracle/"
  },
  {
    "Title": "Audit of Lighter's Block Circuits",
    "Client": "Lighter",
    "Date": "2025-08-04",
    "Tags": [
      "Plonky2",
      "BN254",
      "Poseidon",
      "Goldilocks",
      "Merkle Trees",
      "Circuits",
      "Rollup",
      "Exchange"
    ],
    "RelPermalink": "/reports/zklighter-block/"
  },
  {
    "Title": "Audit of Self EU ID cards Circuits, OFAC Checks, and Smart Contracts",
    "Client": "Celo",
    "Date": "2025-06-17",
    "Tags": [
      "Groth16",
      "RSA",
      "RSA-PSS",
      "ECDSA",
      "Poseidon",
      "SHA-256",
      "Sparse Merkle Trees",
      "Circom",
      "Solidity",
      "Passport"
    ],
    "RelPermalink": "/reports/celo-self-audit-2/"
  },
  {
    "Title": "Audit of Aleo Upgradability Update",
    "Client": "Aleo Foundation",
    "Date": "2025-06-14",
    "Tags": [
      "Schnorr",
      "Aleo",
      "Upgradability"
    ],
    "RelPermalink": "/reports/aleo-upgradability/"
  },
  {
    "Title": "Audit of dstack",
    "Client": "Phala Network",
    "Date": "2025-05-26",
    "Tags": [
      "TEE",
      "TDX",
      "Remote Attestation",
      "RA-TLS",
      "dstack"
    ],
    "RelPermalink": "/reports/phala-dstack/"
  },
  {
    "Title": "Audit of Zeko's circuits",
    "Client": "Zeko",
    "Date": "2025-05-21",
    "Tags": [
      "Pickles",
      "Kimchi",
      "Recursive Proofs",
      "Merkle Trees",
      "SHA-256",
      "Mina",
      "OCaml",
      "zkApp"
    ],
    "RelPermalink": "/reports/zeko/"
  },
  {
    "Title": "Audit of Renegade's Solidity Contracts and Malleable Matches",
    "Client": "Renegade",
    "Date": "2025-05-07",
    "Tags": [
      "PLONK",
      "Poseidon",
      "ElGamal",
      "ECDSA",
      "Merkle Trees",
      "MPC",
      "Circuits",
      "Smart Contracts",
      "Dark Pool"
    ],
    "RelPermalink": "/reports/renegade-3/"
  },
  {
    "Title": "Audit of the Rust p256 Crate",
    "Client": "NEAR",
    "Date": "2025-04-07",
    "Tags": [
      "ECDSA",
      "P-256",
      "Field Arithmetic",
      "Rust"
    ],
    "RelPermalink": "/reports/near-p256/"
  },
  {
    "Title": "Audit of RiscZero Helios",
    "Client": "RiscZero",
    "Date": "2025-04-02",
    "Tags": [
      "Groth16",
      "BLS",
      "SHA-256",
      "Merkle Trees",
      "zkVM",
      "RISC-V",
      "RISC0",
      "Helios"
    ],
    "RelPermalink": "/reports/risc0-helios/"
  },
  {
    "Title": "Audit of Aleph Zero Shielder",
    "Client": "Aleph Zero",
    "Date": "2025-03-25",
    "Tags": [
      "Halo2",
      "Poseidon",
      "BN254",
      "Merkle Trees",
      "Shielded Pool",
      "Solidity",
      "TypeScript"
    ],
    "RelPermalink": "/reports/aleph-zero-shielder/"
  },
  {
    "Title": "Audit of Risc0 Solana Programs: Verifier/Ownable/Router",
    "Client": "RiscZero",
    "Date": "2025-03-20",
    "Tags": [
      "Groth16",
      "BN254",
      "Pairings",
      "RISC0",
      "Solana"
    ],
    "RelPermalink": "/reports/risc0-solana-contracts/"
  },
  {
    "Title": "Aztec TGE Contract Audit",
    "Client": "Aztec",
    "Date": "2025-02-24",
    "Tags": [
      "Solidity",
      "EVM",
      "TGE",
      "Aztec"
    ],
    "RelPermalink": "/reports/aztec-tge/"
  },
  {
    "Title": "Audit of Self",
    "Client": "Celo",
    "Date": "2025-01-22",
    "Tags": [
      "Groth16",
      "RSA",
      "RSA-PSS",
      "ECDSA",
      "P-256",
      "SHA-256",
      "SHA-1",
      "Poseidon",
      "Merkle Trees",
      "Bigint",
      "TEE",
      "AWS Nitro",
      "Circom",
      "Solidity",
      "Passport"
    ],
    "RelPermalink": "/reports/celo-self-audit/"
  },
  {
    "Title": "Audit of Demox Labs - Token Disbursement Program",
    "Client": "Demox Labs",
    "Date": "2024-12-02",
    "Tags": [
      "Aleo",
      "Vault"
    ],
    "RelPermalink": "/reports/demox-token-disbursement/"
  },
  {
    "Title": "Audit of Renegade's Atomic Settlement Feature",
    "Client": "Renegade",
    "Date": "2024-10-21",
    "Tags": [
      "PLONK",
      "Poseidon",
      "ElGamal",
      "ECDSA",
      "Merkle Trees",
      "MPC",
      "Circuits",
      "Smart Contracts",
      "Dark Pool"
    ],
    "RelPermalink": "/reports/renegade-atomic-settlement/"
  },
  {
    "Title": "Audit of Herodotus' Integrity - A Cairo Verifier compatible with Starknet written in Cairo 1",
    "Client": "Herodotus",
    "Date": "2024-09-23",
    "Tags": [
      "STARK",
      "FRI",
      "Cairo AIR",
      "Fiat-Shamir",
      "Keccak",
      "Blake2s",
      "Merkle Trees",
      "Cairo"
    ],
    "RelPermalink": "/reports/starknet-integrity/"
  },
  {
    "Title": "Audit of Hinkal Protocol Smart Contracts and Circom Circuits",
    "Client": "Hinkal",
    "Date": "2024-09-06",
    "Tags": [
      "Poseidon",
      "Merkle Trees",
      "Circom",
      "Smart Contracts"
    ],
    "RelPermalink": "/reports/hinkal-audit/"
  },
  {
    "Title": "Audit of Demox Labs - Aleo Standard Programs",
    "Client": "Demox Labs",
    "Date": "2024-07-22",
    "Tags": [
      "Aleo",
      "Staking",
      "Token"
    ],
    "RelPermalink": "/reports/demox-aleo-standard-programs/"
  },
  {
    "Title": "Audit of Zorp - Schnorr signatures over the Cheetah curve and Tip5 hash function",
    "Client": "Zorp",
    "Date": "2024-07-18",
    "Tags": [
      "Schnorr",
      "Tip5",
      "Goldilocks",
      "Cheetah",
      "Hoon",
      "zorp"
    ],
    "RelPermalink": "/reports/zorp-crypto/"
  },
  {
    "Title": "Audit of Aztec Foreign Field Arithmetic (Bigfield)",
    "Client": "Aztec",
    "Date": "2024-07-01",
    "Tags": [
      "BN254",
      "secp256k1",
      "ECDSA",
      "PLONK",
      "Field Arithmetic",
      "Aztec"
    ],
    "RelPermalink": "/reports/aztec-bigfield/"
  },
  {
    "Title": "Audit of Linea Wizard's crypto/ & math/",
    "Client": "Linea",
    "Date": "2024-06-17",
    "Tags": [
      "RingSIS",
      "Vortex",
      "BLS12-377",
      "Keccak",
      "MiMC",
      "zkEVM",
      "zkVM"
    ],
    "RelPermalink": "/reports/consensys-wizard-crypto-math/"
  },
  {
    "Title": "Audit of Aleo ARC-0041",
    "Client": "Aleo Foundation",
    "Date": "2024-06-10",
    "Tags": [
      "Schnorr",
      "Aleo",
      "Circuits"
    ],
    "RelPermalink": "/reports/aleo-arc41/"
  },
  {
    "Title": "Audit of zk-email",
    "Client": "Ethereum Foundation",
    "Date": "2024-05-27",
    "Tags": [
      "SHA-256",
      "Keccak",
      "Circom",
      "zkRegex",
      "zkEmail",
      "Circuits"
    ],
    "RelPermalink": "/reports/zkemail/"
  },
  {
    "Title": "Audit of Linea's gnark std",
    "Client": "Linea",
    "Date": "2024-05-20",
    "Tags": [
      "PLONK",
      "KZG",
      "Fiat-Shamir",
      "Field Arithmetic",
      "gnark",
      "Circuits"
    ],
    "RelPermalink": "/reports/consensys-gnark-std/"
  },
  {
    "Title": "Audit of Matter Labs' Era Consensus",
    "Client": "Matter Labs",
    "Date": "2024-04-22",
    "Tags": [
      "BLS",
      "BN254",
      "Consensus",
      "BFT"
    ],
    "RelPermalink": "/reports/era-consensus/"
  },
  {
    "Title": "Audit of Aleo Puzzle",
    "Client": "Aleo Foundation",
    "Date": "2024-04-08",
    "Tags": [
      "ChaCha20",
      "SHA-2",
      "Merkle Trees",
      "Consensus",
      "Aleo"
    ],
    "RelPermalink": "/reports/aleo-puzzle/"
  },
  {
    "Title": "Audit of Aleo ARC-0037",
    "Client": "Aleo Foundation",
    "Date": "2024-03-18",
    "Tags": [
      "Schnorr",
      "Aleo",
      "Circuits"
    ],
    "RelPermalink": "/reports/aleo-arc37/"
  },
  {
    "Title": "Audit of Renegade's Circuits and Smart Contracts",
    "Client": "Renegade",
    "Date": "2024-02-26",
    "Tags": [
      "PLONK",
      "Poseidon",
      "ElGamal",
      "ECDSA",
      "Merkle Trees",
      "MPC",
      "Circuits",
      "Smart Contracts",
      "Dark Pool"
    ],
    "RelPermalink": "/reports/renegade/"
  },
  {
    "Title": "Audit of Darkfi contracts",
    "Client": "DarkFi",
    "Date": "2024-02-19",
    "Tags": [
      "Halo2",
      "Pallas/Vesta",
      "Schnorr",
      "Pedersen",
      "Poseidon",
      "ElGamal",
      "ECVRF",
      "Sparse Merkle Trees",
      "Circuits",
      "Proof Composition"
    ],
    "RelPermalink": "/reports/darkfi/"
  },
  {
    "Title": "Audit of Lighter's zkLighter Circuits",
    "Client": "Lighter",
    "Date": "2024-01-22",
    "Tags": [
      "MiMC",
      "Merkle Trees",
      "gnark",
      "Circuits"
    ],
    "RelPermalink": "/reports/zklighter/"
  },
  {
    "Title": "Audit of Aleo's consensus",
    "Client": "Aleo Foundation",
    "Date": "2023-10-30",
    "Tags": [
      "Consensus",
      "BFT",
      "Aleo"
    ],
    "RelPermalink": "/reports/aleo-consensus/"
  },
  {
    "Title": "Audit of Silent Protocol Circuits",
    "Client": "Silent Protocol",
    "Date": "2023-10-13",
    "Tags": [
      "Groth16",
      "Baby Jubjub",
      "ElGamal",
      "Poseidon",
      "MiMC",
      "Shamir Secret Sharing",
      "Threshold Encryption",
      "Zether",
      "Circom",
      "Smart Contracts"
    ],
    "RelPermalink": "/reports/silent2/"
  },
  {
    "Title": "Audit of Aleo's synthesizer",
    "Client": "Aleo Foundation",
    "Date": "2023-10-02",
    "Tags": [
      "Varuna",
      "Poseidon",
      "Pedersen",
      "Fiat-Shamir",
      "Schnorr",
      "Merkle Trees",
      "Aleo",
      "Proof Composition",
      "Circuit Synthesizer"
    ],
    "RelPermalink": "/reports/aleo-synthesizer/"
  },
  {
    "Title": "Audit of Reclaim Protocol's ChaCha20 Circuit",
    "Client": "Reclaim Protocol",
    "Date": "2023-09-23",
    "Tags": [
      "Groth16",
      "ChaCha20",
      "Circom",
      "Circuits",
      "TLS"
    ],
    "RelPermalink": "/reports/reclaim/"
  },
  {
    "Title": "Audit of Mysten Labs' zkLogin circuits and ceremony",
    "Client": "Mysten Labs",
    "Date": "2023-09-11",
    "Tags": [
      "Groth16",
      "BN254",
      "RSA",
      "SHA-256",
      "Trusted Setup",
      "Circom",
      "snarkjs",
      "zkLogin"
    ],
    "RelPermalink": "/reports/mysten-labs-zklogin/"
  },
  {
    "Title": "Audit of Penumbra's Circuits",
    "Client": "Penumbra",
    "Date": "2023-07-28",
    "Tags": [
      "Groth16",
      "BLS12-377",
      "Decaf377",
      "Poseidon",
      "Pedersen",
      "Merkle Trees",
      "arkworks",
      "Circuits",
      "Shielded Pool"
    ],
    "RelPermalink": "/reports/penumbra/"
  },
  {
    "Title": "Audit of Silent Protocol Smart Contracts",
    "Client": "Silent Protocol",
    "Date": "2023-07-07",
    "Tags": [
      "Groth16",
      "BLS",
      "Baby Jubjub",
      "ElGamal",
      "Poseidon",
      "MiMC",
      "DKG",
      "Threshold Encryption",
      "Zether",
      "Smart Contracts"
    ],
    "RelPermalink": "/reports/silent/"
  }
]