26 results found Sort:
- Filter by Primary Language:
- Rust (11)
- 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,426 commits to main branch, last one 12 hours ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
519 commits to main branch, last one 18 days ago
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Created
2022-10-04
1,057 commits to main branch, last one 15 hours ago
STARK-based virtual machine
Created
2021-09-10
2,577 commits to main branch, last one 2 days ago
This repository has no description...
Created
2023-04-30
89 commits to main branch, last one 8 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,159 commits to main branch, last one 12 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,295 commits to master branch, last one 8 days ago
Its a Simple Social engineering Tool
Created
2023-08-21
1,609 commits to main branch, last one 10 months ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created
2022-11-27
155 commits to main branch, last one 8 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
385 commits to main branch, last one 6 days ago
Building blocks of a Circle STARK verifier in Bitcoin script
Created
2024-04-10
200 commits to main branch, last one 25 days 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
168 commits to main branch, last one about a month ago
A community-developed re-implementation of the Starkware Stone Prover
Created
2023-08-31
9 commits to main branch, last one 8 days ago
Audited & minimal JS implementation of Starknet cryptography.
Created
2022-11-03
66 commits to main branch, last one 3 months ago
A community-maintained curated list of awesome resources of RISC Zero.
Created
2024-02-23
15 commits to main branch, last one 5 months ago
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Created
2017-09-28
4,094 commits to master branch, last one 26 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 11 months ago
Bitcoin ZK client written in Cairo.
Created
2024-07-31
401 commits to main branch, last one a day 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
Cairo-VM STARK Verifier Rust implementation
Created
2024-07-06
328 commits to main branch, last one 16 days ago
Eigen zkVM's Proving Service
Created
2023-05-20
109 commits to main branch, last one 3 months ago
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Created
2024-01-29
525 commits to dev branch, last one a day ago