OpenZeppelin Contracts is a library for secure smart contract development.

Not so awesome Web3 Security Reasearcher roadmap by tpiliposian

🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker

The Open Source AI-Powered Code Editor. A fork of VSCode and Continue and PearAI

Zero-Knowledge University

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

automated market maker for Sberbank

proving knowledge of a hash preimage of a leaf in an intermediate merkle tree in Noir

Practical fuzzing examples for the mastering fuzzing talk

A repo of example Noir projects.

Zero Knowledge Proof for RSA

Smart contracts for permissionless, anonymous on-chain voting

Circom circuits library for magnificent ZK applications

The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees

A monorepo of reusable libraries for zero-knowledge technologies.

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

A toolkit for polynomial IOPs (PIOPs)

An Interview Primer for Quantitative Finance

weird erc20 tokens

Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0

RANDAO: A DAO working as RNG of Ethereum

An interactive tutorial to get you up and running with Cairo v1 and Starknet

A curated list of awesome StarkNet resources, libraries, tools and more

Database of public audits made by ABDK Consulting

Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.

This repo contains source files of a cross-chain voting protocol for ETHGlobal Istanbul 2023.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.