Published security audits

Automated verification of uniqueness property for ZKP circuits

Zellic's audits, publications, and reports

Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.

IDL Guesser is an open-source tool that automatically recovers the IDL information from closed-source Anchor-based Solana programs.

Create Solana programs with no dependencies attached

A collection of resources to help you build better and more secure Solana programs. Kept up to date.

PoC of KyberSwap double liquidity add exploit

A collection of MCP servers.

A zkVM for Decentralized Private Computations (DPC)

aztec connect repository

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Solana Winternitz quantum-resistant lamports vault

This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, checklists, and guidelines to help developers and auditors en…

Post-Quantum Magic Project. See more at https://pqcrypto.dev/ . We also open-sourced at https://gitee.com/pqcrypto/pqmagic.

Zero-Knowledge University

Resources related to Pendle V2

Decentralize your secrets!

This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes​.