Pinned Repositories
bellperson
zk-SNARK library
binius
Fork of binius
bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
cdk-validium-node
Go implementation of a node that operates the Polygon zkEVM Network
ceph
Ceph is a distributed object, block, and file storage platform
circomlib
Dapp-Learning
Dapp learning project for developers at all stages. Becoming and cultivating sovereign individuals. Nonprofit organization.
eigen-estark-gevulot
eigen-zkvm
A Rust zkVM with a Modular Proof System
elasticsearch-analysis-hanlp
HanLP Analyzer for Elasticsearch
gavin-ygy's Repositories
gavin-ygy/bellperson
zk-SNARK library
gavin-ygy/binius
Fork of binius
gavin-ygy/bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
gavin-ygy/cdk-validium-node
Go implementation of a node that operates the Polygon zkEVM Network
gavin-ygy/circomlib
gavin-ygy/Dapp-Learning
Dapp learning project for developers at all stages. Becoming and cultivating sovereign individuals. Nonprofit organization.
gavin-ygy/eigen-estark-gevulot
gavin-ygy/eigen-zkvm
A Rust zkVM with a Modular Proof System
gavin-ygy/fsm
Finite State Machine for Go
gavin-ygy/go-bip39
The BIP39 library for Go.
gavin-ygy/Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
gavin-ygy/google-research
Google Research
gavin-ygy/gost
GO Simple Tunnel - a simple tunnel written in golang
gavin-ygy/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
gavin-ygy/kubernetes
Production-Grade Container Scheduling and Management
gavin-ygy/Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
gavin-ygy/lotus
Implementation of the Filecoin protocol, written in Go
gavin-ygy/lotus-1.4.0
gavin-ygy/lotus-miner
An improved lotus toolchain for Filecoin cluster mining
gavin-ygy/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
gavin-ygy/ops
ops - build and run nanos unikernels
gavin-ygy/optimism
The Optimism monorepo
gavin-ygy/powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
gavin-ygy/share_ppt
🚗 我个人曾经做过的技术分享...
gavin-ygy/tornado-core
gavin-ygy/tornado-relayer
gavin-ygy/valida
A STARK-based VM focused on code reuse, performance, and modularity
gavin-ygy/Virgo
gavin-ygy/virgo-plus
An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
gavin-ygy/winterfell
A STARK prover and verifier for arbitrary computations