CryptoDruide's starred repositories

pgf-testing

PGF steward/funding script(s) for Namada to help testing its mechanisms and verify correctness.

Language:ShellLicense:MITStargazers:2Issues:0Issues:0

aligned_layer

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

Language:RustLicense:MITStargazers:135Issues:0Issues:0

M1

An L1 for Move VM built on Avalanche.

Language:RustLicense:BSD-3-ClauseStargazers:61Issues:0Issues:0
Language:PythonLicense:MITStargazers:1Issues:0Issues:0
Language:PythonLicense:MITStargazers:13Issues:0Issues:0
Stargazers:1Issues:0Issues:0

madara

DEPRECATED in favor of https://github.com/madara-alliance/madara

Language:RustLicense:MITStargazers:532Issues:0Issues:0

mina_bridge

Bridge from Mina to Ethereum

Language:SolidityStargazers:76Issues:0Issues:0
Language:PythonStargazers:42Issues:0Issues:0

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Language:RustLicense:GPL-3.0Stargazers:4791Issues:0Issues:0

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Language:RustLicense:GPL-3.0Stargazers:2383Issues:0Issues:0
Language:RustStargazers:773Issues:0Issues:0

fuel-core

Rust full node implementation of the Fuel v2 protocol.

Language:RustLicense:NOASSERTIONStargazers:58214Issues:0Issues:0

fuels-ts

Fuel Network Typescript SDK

Language:TypeScriptLicense:Apache-2.0Stargazers:44299Issues:0Issues:0

fuels-rs

Fuel Network Rust SDK

Language:RustLicense:Apache-2.0Stargazers:44303Issues:0Issues:0

sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

Language:RustLicense:Apache-2.0Stargazers:62846Issues:0Issues:0

networks

Dymension networks

Language:ShellStargazers:103Issues:0Issues:0

node

Everything required to run your own Base node

Language:ShellLicense:MITStargazers:68046Issues:0Issues:0

kakarot

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Language:CairoLicense:MITStargazers:936Issues:0Issues:0

zksync

zkSync: trustless scaling and privacy engine for Ethereum

Language:RustLicense:Apache-2.0Stargazers:4877Issues:0Issues:0

namada-testnets

Testnet configurations and coordination for the Namada network.

License:Apache-2.0Stargazers:328Issues:0Issues:0

snarkOS

A Decentralized Operating System for ZK Applications

Language:RustLicense:Apache-2.0Stargazers:4259Issues:0Issues:0

hey

Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿

Language:TypeScriptLicense:AGPL-3.0Stargazers:23100Issues:0Issues:0

namada-trusted-setup

Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

Language:RustLicense:NOASSERTIONStargazers:115Issues:0Issues:0
Language:RustLicense:MITStargazers:883Issues:0Issues:0

celestia-node

Celestia Data Availability Nodes

Language:GoLicense:Apache-2.0Stargazers:915Issues:0Issues:0

defund

The modular liquidity hub. Trade spot assets, mint options, earn hedged yield.

Language:GoStargazers:72Issues:0Issues:0

aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

Language:RustLicense:NOASSERTIONStargazers:5989Issues:0Issues:0