4 results found Sort:

kkrt-labs
kakarot kkrt-labs
251
901
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
881 commits to main branch, last one 23 hours ago
NilFoundation
zkLLVM NilFoundation
44
273
unknown
14
Zero-Knowledge Proof Systems Circuit Compiler
llvm compiler proof-system zero-knowledge
Created 2022-10-29
626 commits to master branch, last one 27 days ago
snarkify
sirius snarkify
14
103
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
372 commits to main branch, last one 12 days ago
starkoracles
Aero starkoracles
2
39
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