keep-starknet-strange/garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Language: Cairo - Size: 60.5 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 232 - Forks: 76

arkworks-rs/r1cs-std

R1CS constraints for bits, fields, and elliptic curves

Language: Rust - Size: 1.08 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 160 - Forks: 79

Cardinal-Cryptography/zkOS-monorepo

Language: Rust - Size: 14.2 MB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 4

fbielejec/zkSNARKs-notes

notes & explorations of various zero knowledge protocols

Size: 450 KB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0

zkpersona/noir-helpers

A collection of utilities and helper function to generate proofs and inputs for noir circuits.

Language: TypeScript - Size: 125 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

lambdaclass/noir_backend_using_gnark

A Noir's backend implementation using Gnark

Language: Go - Size: 278 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 35 - Forks: 3

ayushn2/go-snark

Implementation of zk-SNARKs in Go, featuring efficient proof generation and verification for secure cryptographic protocols.

Language: Go - Size: 2.67 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

uncomputable/zkp-workshop

Explore the world of zero-knowledge proofs from first principles.

Language: Python - Size: 601 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 42 - Forks: 9

hecmas/zkNotebook

My personal notebook for various zk-related topics

Language: TypeScript - Size: 363 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 47 - Forks: 5

keep-starknet-strange/zkramp

Language: Cairo - Size: 848 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 29 - Forks: 27

wangqinghao123/Randomness-on-Ethereum Fork of paradigmxyz/zk-eth-rng

Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.

Language: Solidity - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ora-io/zkgraph 📦

Template for zkGraph.

Language: JavaScript - Size: 622 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 19 - Forks: 8

meilof/oblif

Tooling for writing data-oblivious programs (mpyc, pysnark, ...) using non-oblivious constructs (if/for/...)

Language: Python - Size: 89.8 KB - Last synced at: 19 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

bullet-tooth/zk-battleship

Language: Rust - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Baghery/ABPR22

Simulation Extractable Versions of Groth’s zk-SNARK Revisited

Language: Rust - Size: 258 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 2

WeuFoundDev/Zk-proofs-ID-infrastructure

Self sovereign identity infrastructure build on zero knowledge verified contribution for github

Size: 21.5 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Argennon-Project/csgot

The implementation of the CsGo transpiler

Language: Java - Size: 16.4 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

BerkeleyBlockchain/dev-decal-sp20

CS 198-077 Blockchain for Developers DeCal Spring 2020: Taught at UC Berkeley during the Spring 2020 semester by the Blockchain at Berkeley Education Department.

Language: Jupyter Notebook - Size: 878 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 50 - Forks: 27

BerkeleyBlockchain/dev-decal-sp21

CS 198-077 Blockchain for Developers DeCal Spring 2021: Taught at UC Berkeley during the Spring 2021 semester by the Blockchain at Berkeley Education Department.

Language: Jupyter Notebook - Size: 414 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 40 - Forks: 16

morkeltry/zclean

An implementation of ZCash, private (ie shieldable) utxo-based cryptocurrency including the ability to 'colour' coins while transactions remain private

Language: OCaml - Size: 48.7 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

zeropoolnetwork/zeropool-core

Smart contracts, Cryptography and Relayer that are used at zeropool.network

Language: TypeScript - Size: 63.3 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 7

vocdoni/voterollup

Experiment in gassless voting using snarks

Language: Solidity - Size: 416 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 1