26 results found Sort:

427
1.7k
apache-2.0
49
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Created 2022-02-19
1,453 commits to main branch, last one 20 hours ago
198
1.6k
mit
15
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
519 commits to main branch, last one about a month ago
305
996
mit
23
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Created 2022-10-04
1,091 commits to main branch, last one a day ago
STARK-based virtual machine
Created 2021-09-10
2,578 commits to main branch, last one 5 days ago
670
571
unknown
14
This repository has no description...
Created 2023-04-30
89 commits to main branch, last one 8 months ago
150
522
apache-2.0
10
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,164 commits to main branch, last one a day ago
37
247
apache-2.0
11
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,305 commits to master branch, last one 2 days ago
Its a Simple Social engineering Tool
Created 2023-08-21
1,609 commits to main branch, last one 11 months ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created 2022-11-27
155 commits to main branch, last one 9 months ago
A library for generating zk-STARKs.
Created 2019-05-22
181 commits to master branch, last one 4 years ago
36
141
apache-2.0
6
A Rust zkVM with a Modular Proof System
Created 2022-04-08
385 commits to main branch, last one 21 days ago
Building blocks of a Circle STARK verifier in Bitcoin script
Created 2024-04-10
200 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
169 commits to main branch, last one 10 days ago
Audited & minimal JS implementation of Starknet cryptography.
Created 2022-11-03
66 commits to main branch, last one 4 months ago
A community-developed re-implementation of the Starkware Stone Prover
Created 2023-08-31
9 commits to main branch, last one 22 days 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 about a month 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 about a year ago
Bitcoin ZK client written in Cairo.
Created 2024-07-31
405 commits to main branch, last one 23 hours 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
8
37
apache-2.0
4
Cairo-VM STARK Verifier Rust implementation
Created 2024-07-06
328 commits to main branch, last one about a month ago
Eigen zkVM's Proving Service
Created 2023-05-20
109 commits to main branch, last one 4 months ago
4
29
gpl-3.0
5
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 16 days ago