68 results found Sort:
- Filter by Primary Language:
- Rust (26)
- TypeScript (10)
- JavaScript (5)
- Cairo (4)
- Python (3)
- HTML (2)
- Go (2)
- Jupyter Notebook (2)
- Nim (1)
- C++ (1)
- CSS (1)
- Circom (1)
- Solidity (1)
- +
Contracts of the Sismo Badge Minting Protocol
Created
2022-06-16
307 commits to main branch, last one 2 years ago
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Created
2022-07-05
16,900 commits to main branch, last one 9 hours ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
520 commits to main branch, last one 27 days ago
Cairo is the first Turing-complete language for creating provable programs for general computation.
Created
2022-05-19
6,712 commits to main branch, last one a day ago
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
Created
2020-02-24
3,524 commits to master branch, last one 17 hours ago
A zkVM for Decentralized Private Computations (DPC)
Created
2020-03-14
11,702 commits to staging branch, last one 12 hours ago
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created
2023-05-18
2,335 commits to main branch, last one 7 days ago
The privacy-focused cryptocurrency
Created
2016-09-09
17,554 commits to master branch, last one 3 days ago
indy-sdk
This repository has been archived
(exclude archived)
Created
2017-03-21
13,408 commits to main branch, last one about a year ago
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that ...
Created
2022-04-26
3,226 commits to main branch, last one a day ago
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge p...
Created
2020-03-23
2,348 commits to master branch, last one 3 days ago
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Created
2018-07-24
611 commits to master branch, last one 20 days ago
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Created
2022-07-21
1,191 commits to main branch, last one about a month ago
Sign arbitrary messages with keys obtained from Namada's trusted setup
Created
2023-11-06
14 commits to main branch, last one about a year ago
Curated Collection of Ethereum Ecosystem Resources
Created
2022-06-03
124 commits to main branch, last one about a year ago
Common cryptographic library used in software at Mysten Labs.
Created
2022-08-17
693 commits to main branch, last one about a month ago
Zero Knowledge Light Client Implementation by Zpoken team.
Created
2023-01-24
107 commits to main branch, last one 5 months ago
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Created
2022-11-25
325 commits to main branch, last one 3 days ago
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Created
2022-06-15
19 commits to main branch, last one 2 years ago
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
Created
2023-07-27
24 commits to main branch, last one 11 months ago
Build your zkp app with typescript, hardhat, circom, and snarkjs!
Created
2022-04-18
24 commits to main branch, last one 2 years ago
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Created
2023-01-02
465 commits to main branch, last one 3 days ago
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Created
2020-04-06
1,452 commits to main branch, last one 2 years ago
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
Created
2021-12-29
738 commits to master branch, last one 9 months ago
Solarity Solidity Library
Created
2022-05-03
273 commits to master branch, last one 2 days ago
Resources for Cairo 1.0 development.
Created
2023-02-28
74 commits to main branch, last one about a month ago
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Created
2023-04-28
521 commits to main branch, last one 21 hours ago
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
Created
2020-08-25
75 commits to master branch, last one 10 months ago
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Created
2022-04-28
429 commits to main branch, last one about a year ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created
2022-11-27
157 commits to main branch, last one 2 months ago