63 results found Sort:
- Filter by Primary Language:
- Rust (23)
- TypeScript (10)
- JavaScript (5)
- Cairo (4)
- Python (3)
- HTML (2)
- Jupyter Notebook (2)
- Go (2)
- Nim (1)
- CSS (1)
- Circom (1)
- C++ (1)
- +
Contracts of the Sismo Badge Minting Protocol
Created
2022-06-16
307 commits to main branch, last one about a year ago
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Created
2022-07-05
16,398 commits to main branch, last one 2 days ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
519 commits to main branch, last one 2 months ago
Cairo is the first Turing-complete language for creating provable programs for general computation.
Created
2022-05-19
6,205 commits to main branch, last one 22 hours 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,486 commits to master branch, last one 2 days ago
A Virtual Machine for Zero-Knowledge Executions
Created
2020-03-14
11,468 commits to staging branch, last one 9 days ago
The privacy-focused cryptocurrency
Created
2016-09-09
17,544 commits to master branch, last one 21 days ago
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created
2023-05-18
2,311 commits to main 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,177 commits to main branch, last one 9 days 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,300 commits to master branch, last one a day ago
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Created
2018-07-24
578 commits to master branch, last one 7 days ago
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Created
2022-07-21
1,175 commits to main branch, last one 8 days 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 12 months ago
Zero Knowledge Light Client Implementation by Zpoken team.
Created
2023-01-24
107 commits to main branch, last one 2 months ago
Common cryptographic library used in software at Mysten Labs.
Created
2022-08-17
690 commits to main branch, last one about a month ago
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Created
2022-11-25
319 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 about a year 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
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 about a year 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 8 months ago
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Created
2023-01-02
445 commits to main branch, last one 5 days 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 6 months ago
Resources for Cairo 1.0 development.
Created
2023-02-28
72 commits to main branch, last one 10 months 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 7 months ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created
2022-11-27
155 commits to main 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
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
Created
2022-06-30
86 commits to main branch, last one about a year ago
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Created
2023-04-28
470 commits to main branch, last one 5 days ago