24 results found Sort:
- Filter by Primary Language:
- Rust (9)
- Cairo (4)
- JavaScript (3)
- TypeScript (3)
- Python (1)
- Jupyter Notebook (1)
- C++ (1)
- Solidity (1)
- +
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Created
2022-02-19
1,366 commits to main branch, last one 5 hours ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
513 commits to main branch, last one 2 hours ago
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Created
2022-10-04
993 commits to main branch, last one a day ago
STARK-based virtual machine
Created
2021-09-10
2,461 commits to main branch, last one 14 days ago
This repository has no description...
Created
2023-04-30
89 commits to main branch, last one 7 months 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,150 commits to main branch, last one 7 hours ago
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Created
2021-11-28
2,271 commits to master branch, last one a day ago
Its a Simple Social engineering Tool
Created
2023-08-21
1,609 commits to main branch, last one 9 months ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created
2022-11-27
155 commits to main branch, last one 7 months ago
A library for generating zk-STARKs.
Created
2019-05-22
181 commits to master branch, last one 4 years ago
A Rust zkVM with a Modular Proof System
Created
2022-04-08
382 commits to main branch, last one about a month ago
Building blocks of a Circle STARK verifier in Bitcoin script
Created
2024-04-10
185 commits to main branch, last one about a month ago
zero knowledge for those with zero knowledge
Created
2022-11-03
106 commits to main branch, last one about a year ago
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Created
2022-09-13
92 commits to main branch, last one about a year ago
A month-long zkp study group, one topic at a time.
Created
2024-04-27
164 commits to main branch, last one 3 days ago
A community-developed re-implementation of the Starkware Stone Prover
Created
2023-08-31
8 commits to main branch, last one 8 months ago
Audited & minimal JS implementation of Starknet cryptography.
Created
2022-11-03
66 commits to main branch, last one 2 months ago
A community-maintained curated list of awesome resources of RISC Zero.
Created
2024-02-23
15 commits to main branch, last one 4 months ago
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Created
2017-09-28
3,968 commits to master branch, last one 4 days ago
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Created
2022-06-01
58 commits to main branch, last one 2 years ago
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Created
2022-02-09
29 commits to dev branch, last one 10 months ago
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Created
2023-02-17
40 commits to main branch, last one about a year ago
Eigen zkVM's Proving Service
Created
2023-05-20
109 commits to main branch, last one 2 months ago
Bitcoin ZK client written in Cairo.
Created
2024-07-31
362 commits to main branch, last one 16 hours ago