wiasliaw

awesome-folding

A curated list of zero-knowledge folding schemes

evm-diff

Diff EVM-compatible chains in a friendly format

scalebit-zkctf-2024

alphanet

Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.

poseidon-lite

mopro

Making client-side proving on mobile simple.

kage-pay

Kage - Cross chain private payment powered by stealth address and ERC-4337

jsoncanvas

An open file format for infinite canvas data.

WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

zed-solidity

💠 Solidity language support for Zed.

echidna-farm

Educational repo for fuzzing smart-contracts with Echidna

maci

Minimal Anti-Collusion Infrastructure (MACI)

audit-checklists

pingora

A library for building fast, reliable and evolvable network services.

awesome-sp1

A curated list of awesome resources related to SP1 - Succinct's zkVM.

skott

All-in-one devtool to automatically analyze, search and visualize dependencies from JavaScript, TypeScript (JSX/TSX) and Node.js (ES6, CommonJS)

v2-core

⏳ Core smart contracts of the Sablier V2 token distribution protocol

ollama

Get up and running with Llama 3, Mistral, Gemma, and other large language models.

kzg-verifier

Kzg commitment verifier written in Noir

obsidian-beautitab

A plugin for Obsidian.MD that creates a customizable new tab view with beautiful backgrounds, quotes, search, and more.

ethereum-vault-connector

The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.

circomkit

A testing & development environment for Circom.

spotube

🎧 Open source Spotify client that doesn't require Premium nor uses Electron! Available for both desktop & mobile!

hevm

symbolic EVM evaluator

the-rippler

safe-tools

Foundry tools for testing with Gnosis Safes

nixmodules

halographs

Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"

era-boojum

Boojum, the scariest SNARK implementation.

gnark

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