4 results found Sort:

kkrt-labs
kakarot kkrt-labs
320
1.0k
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
Created 2022-10-04
1,111 commits to main branch, last one 12 days ago
NilFoundation
zkLLVM NilFoundation
50
304
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 about a month ago
snarkify
sirius snarkify
20
146
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 5 days 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