bluele Follow 
Lists (1)
Stars
A verifier for RISC Zero SNARK proofs written in Go
A small library for Forge that makes it easy to replay transactions and inspect the contract code and state
Tendermint ZK Light Client for ibc-solidity
A verification library for Merkle Particia Tree in Solidity
A bridge demo between Cosmos and Ethereum using IBC and LCP
Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.
Ancillary open source software to support confidential computing on NVIDIA GPUs
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A rust implementation of the ethereum light client that supports no_std
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Tools and runtime for launching unmodified container images in Trusted Execution Environments
A rust logger that prints all messages with a readable output format.
A static verifier for Rust, based on the Viper verification infrastructure.
IBC Relayer for heterogeneous blockchains
A proxy middleware for light client verification executed in TEE.
Collection of cryptographic hash functions written in pure Rust
Client libraries for Tendermint/CometBFT in Rust!
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
A yui-relayer module to enable IBC between chains that use ibc-proxy.