
repos
39
ecosystems
7
languages
4
commits
159
Top repos · by commits
Repositories
39 totalTendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A zkVM for Decentralized Private Computations (DPC)
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Proof of concept Rust implementations for various distributed systems protocols
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Aleo
Aleo leo
Leo Developer Toolkit
tictactoe
We are slow while using the UI/UX of crypto wallets so we created our CLI version
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
A decentralized based email system using The Graph and IPFS
Peer developers
Languages
- Rust27
- Cairo8
- Elixir1
- TypeScript1



















