4 results found Sort:

kkrt-labs
kakarot kkrt-labs
300
988
mit
24
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,057 commits to main branch, last one 16 hours ago
NilFoundation
zkLLVM NilFoundation
48
292
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 13 days ago
snarkify
sirius snarkify
17
121
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
442 commits to main branch, last one a day ago
starkoracles
Aero starkoracles
2
38
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