4 results found Sort:

kkrt-labs
kakarot kkrt-labs
324
1k
mit
23
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
evm stark ethereum starknet cairo-lang proof-system zero-knowledge smart-contracts
This repository has been archived (exclude archived)
Created 2022-10-04
1,112 commits to main branch, last one 23 days ago
NilFoundation
zkLLVM NilFoundation
51
307
unknown
13
Zero-Knowledge Proof Systems Circuit Compiler
llvm compiler proof-system zero-knowledge
Created 2022-10-29
633 commits to master branch, last one 3 months ago
snarkify
sirius snarkify
20
156
mit
5
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
ivc zkp nova protostar cryptography proof-system zero-knowledge-proofs
Created 2023-04-28
470 commits to main branch, last one about a month ago
starkoracles
Aero starkoracles
2
40
mit
2
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
miden stark starknet cairo-lang proof-system zero-knowledge
Created 2023-02-17
40 commits to main branch, last one about a year ago