The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
- blockchain
- cosmos
- evm
- golang
Repository Index
81,588 visible repositories in the index
1–15 of 15 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
- blockchain
- blockchain-network
- move
- smart-contracts
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
💰唯一正版💰 minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy 矿池抽水 矿池代理 矿池中转 矿池抽水 minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy
- minerproxy
- btcminer
- btcproxy
- ktminer
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
- blockchain
- contributor-friendly
- ethereum
- modular
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Ethereum and EVM compatibility layer for Polkadot and Substrate.
Collection of Useful Bridge Building Tools 🏗️
A template for kick starting a Substrate based PoS chain.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Virto toolset to build simple to use decentralized applications
This cli utility helps you harness the srtool docker image witout breaking a sweat.