Giters
Ye Zhang (SilverPoker)

SilverPoker

Geek Repo

190

followers

64

following

126

stars

Company:PekingUniversity

Github PK Tool:Github PK Tool

Organizations
scroll-tech

Ye Zhang's starred repositories

GPU-Puzzles

Solve puzzles. Learn CUDA.

Language:Jupyter NotebookLicense:MITStargazers:5450Issues:29Issues:28

Dapp-Learning

Dapp learning project for developers at all stages. Becoming and cultivating sovereign individuals. Nonprofit organization.

Language:SolidityLicense:MITStargazers:4969Issues:114Issues:62

Rust-CUDA

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

Language:RustLicense:Apache-2.0Stargazers:2980Issues:46Issues:74

Static-Program-Analysis-Book

Getting started with static program analysis. 静态程序分析入门教程。

License:CC-BY-SA-4.0Stargazers:1604Issues:28Issues:6

risc0

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

Language:C++License:Apache-2.0Stargazers:1569Issues:52Issues:515

awesome-starknet

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

Stargazers:1470Issues:40Issues:9

warp

Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

Language:TypeScriptLicense:Apache-2.0Stargazers:752Issues:14Issues:165

plonky2

Language:RustLicense:Apache-2.0Stargazers:745Issues:34Issues:157

Nova

Nova: High-speed recursive arguments from folding schemes

Language:RustLicense:MITStargazers:682Issues:25Issues:43

scroll

Scroll's Monorepo

Language:GoLicense:MITStargazers:594Issues:36Issues:68

slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

Language:RustLicense:Apache-2.0Stargazers:408Issues:62Issues:157

ministark

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Language:RustLicense:MITStargazers:335Issues:13Issues:13

awesome-privacy-on-blockchains

A curated list of privacy on blockchains resources

License:MITStargazers:258Issues:19Issues:4

distaff

Zero-knowledge virtual machine written in Rust

Language:RustLicense:MITStargazers:240Issues:17Issues:31

ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Language:C++License:LGPL-3.0Stargazers:240Issues:21Issues:82

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

Language:RustLicense:Apache-2.0Stargazers:227Issues:11Issues:30

awesome-plonk

A curated list of awesome things related to plonk proof system

License:MITStargazers:221Issues:11Issues:2

awesome-foundations-of-DeFi

An Awesome List for resources on the foundations of Decentralized Finance (DeFi)

License:MITStargazers:215Issues:10Issues:1

halo2wrong

Language:RustStargazers:113Issues:17Issues:25

gemini

An elastic proof system based on arkworks

Language:RustLicense:MITStargazers:72Issues:8Issues:4

cpsnarks-set

Rust library for efficient, succinct and modular set membership and non-membership proofs

Language:RustLicense:Apache-2.0Stargazers:55Issues:5Issues:2

ecfft-bn254

ECFFT in Rust

Language:RustLicense:MITStargazers:55Issues:4Issues:2

orchard

Implementation of the Zcash Orchard Protocol

Language:RustLicense:NOASSERTIONStargazers:52Issues:20Issues:111

bellman-bignat

Multiprecision arithmetic & RSA accumulators, within SNARKs

Language:RustLicense:NOASSERTIONStargazers:50Issues:6Issues:1

pc-bench

Benchmarking Polynomial Commitments

Language:Jupyter NotebookStargazers:47Issues:5Issues:1

go-boojum

A golang demo for zk-SNARK aggregation

Language:GoLicense:MITStargazers:41Issues:3Issues:0

pluto-eris

Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves

Language:SageLicense:MITStargazers:32Issues:8Issues:1

evm-rs

Ethereum Virtual Machine implementation from scratch in Rust

Language:RustLicense:GPL-3.0Stargazers:26Issues:3Issues:0

zkvm

a sketch of what a zkvm could look like

Language:PythonStargazers:25Issues:6Issues:0

zkp-circuit-practice

ZKP Circuit Practice

Language:RustStargazers:14Issues:4Issues:0