27 results found Sort:

222
1.8k
mit
16
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created 2023-11-29
519 commits to main branch, last one 4 months ago
503
1.8k
apache-2.0
53
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Created 2022-02-19
1,622 commits to main branch, last one 4 days ago
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
This repository has been archived (exclude archived)
Created 2022-10-04
1,112 commits to main branch, last one about a month ago
STARK-based virtual machine
Created 2021-09-10
2,628 commits to main branch, last one 27 days ago
669
571
unknown
14
This repository has no description...
Created 2023-04-30
89 commits to main branch, last one 11 months ago
165
533
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,198 commits to main branch, last one a day ago
41
253
apache-2.0
10
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,334 commits to master branch, last one 4 days ago
73
247
unknown
14
Its a Simple Social engineering Tool
Created 2023-08-21
1,657 commits to v2.0 branch, last one 2 months ago
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Created 2022-11-27
157 commits to main branch, last one about a month ago
Building blocks of a Circle STARK verifier in Bitcoin script
Created 2024-04-10
217 commits to main branch, last one a day ago
A library for generating zk-STARKs.
Created 2019-05-22
181 commits to master branch, last one 4 years ago
36
139
apache-2.0
6
A Rust zkVM with a Modular Proof System
Created 2022-04-08
388 commits to main branch, last one about a month ago
31
124
apache-2.0
11
A month-long zkp study group, one topic at a time.
Created 2024-04-27
199 commits to main branch, last one 25 days 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
zero knowledge for those with zero knowledge
Created 2022-11-03
106 commits to main branch, last one about a year ago
A community-maintained curated list of awesome resources of RISC Zero.
Created 2024-02-23
15 commits to main branch, last one 8 months ago
Audited & minimal JS implementation of Starknet cryptography.
Created 2022-11-03
82 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 3 months ago
Bitcoin ZK client written in Cairo.
Created 2024-07-31
418 commits to main 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
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Created 2017-09-28
4,109 commits to master branch, last one 2 months 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
12
40
apache-2.0
4
Cairo-VM STONE STARK Verifier Rust implementation
Created 2024-07-06
362 commits to main branch, last one 28 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 about a year ago
A ZK-VM for the Brainfuck language, based on Stwo
Created 2024-10-28
108 commits to main branch, last one 19 days ago
Eigen zkVM's Proving Service
Created 2023-05-20
109 commits to main branch, last one 7 months ago
4
28
gpl-3.0
5
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Created 2024-01-29
559 commits to dev branch, last one 2 months ago