My solutions for Advent of Code.

Smart contract specification language

A Framework of Lattice-based Zero-knowledge Arguments in Rust

A monorepo of reusable libraries for zero-knowledge technologies.

A declarative, extensible framework for building Elixir applications.

Solidity snippets too edgy to be in Solady

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/Docker

Async promise library for Superchain Solidity contracts

derive(Error) for struct and enum error types

Smart Contract Property-Based Testing Framework

The "Solana-Awesome" repository serves as a comprehensive, factual resource hub for anyone interested in learning about the Solana blockchain and its underlying technology. It is meticulously curat…

Extracting the semantics of Noir to Lean for formal verification

Everything required to run your own Base node

Fork of world-tree for use within worldscan

An ERC-4337 Paymaster contract by Pimlico that is able to sponsor gas fees in exchange for ERC-20 tokens

research data

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Verifying the Rust standard library

A compiler for homomorphic encryption

A Cryptographic Library for Smooth Blockchain uses

These contracts allow you to issue ENS subnames on an L2.

A curated list of awesome security resources for ZK.

An example app using POD & GPC

Solidity library of smart contracts from the OpenZeppelin Community

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa