The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
-
Updated
Aug 30, 2025 - Rust
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on various blockchain platforms, most notably, Ethereum. The Solidity programming language is an open source, community project governed by a core team. The core team is sponsored by the Ethereum Foundation. The programs compiled by the Solidity are intended to be run on Ethereum Virtual Machine.
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
High-performance, well-tested & documented core libraries for Ethereum, in Rust
Solidity Static Analyzer that easily integrates into your editor
Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Ethereum Signature Database
Hyperbridge scales verifiable interoperability
Template for integrating RISC Zero and Ethereum using Foundry
Created by Gavin Wood, Christian Reitwiessner, Alex Beregszaszi
Released August 2015