22 results found Sort:
- Filter by Primary Language:
- Rust (9)
- JavaScript (3)
- TypeScript (3)
- Cairo (3)
- 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,125 commits to main branch, last one 13 hours ago
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Created
2022-10-04
862 commits to main branch, last one 16 hours ago
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
425 commits to main branch, last one 3 days ago
STARK-based virtual machine
Created
2021-09-10
2,261 commits to main branch, last one 21 days ago
This repository has no description...
Created
2023-04-30
89 commits to main branch, last one 3 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,123 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,135 commits to master branch, last one 12 hours ago
Its a Simple Social engineering Tool
Created
2023-08-21
1,609 commits to main branch, last one 5 months ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created
2022-11-27
155 commits to main branch, last one 3 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
373 commits to main branch, last one 12 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 9 months ago
A community-developed re-implementation of the Starkware Stone Prover
Created
2023-08-31
8 commits to main branch, last one 5 months ago
Building blocks of a Circle STARK verifier in Bitcoin script
Created
2024-04-10
123 commits to main branch, last one 19 hours ago
Audited & minimal JS implementation of Starknet cryptography.
Created
2022-11-03
59 commits to main branch, last one 5 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 about a year ago
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Created
2017-09-28
3,944 commits to master branch, last one 7 days ago
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Created
2022-02-09
29 commits to dev branch, last one 7 months ago
A community-maintained curated list of awesome resources of RISC Zero.
Created
2024-02-23
15 commits to main branch, last one 17 days 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 11 months ago
Eigen zkVM's Proving Service
Created
2023-05-20
98 commits to main branch, last one 12 days ago