datachainlab / tendermint-zk-ibc
Tendermint ZK Light Client for ibc-solidity
☆12Updated last year
Alternatives and similar repositories for tendermint-zk-ibc
Users that are interested in tendermint-zk-ibc are comparing it to the libraries listed below
Sorting:
- This repository is for explaining objectives and technical description of how B-Harvest will implement zk-rollup module for Cosmos-SDK☆23Updated 4 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- Webb Protocol Implementation in CosmWasm.☆24Updated 2 years ago
- Cosmos SDK Module for Celestia DA☆52Updated 8 months ago
- Storage abstractions for CosmWasm smart contracts☆39Updated 2 months ago
- A template for easily building Autonomous Verified Services with WAVS.☆13Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- ☆21Updated 2 years ago
- 🎨 Programmable Block Builder for Cosmos Chains☆70Updated 3 months ago
- Eth2 light client implementation as a cosmwasm smart contract☆12Updated last year
- Implementation of generic IBC queries in CosmWasm.☆21Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago
- Skip's protocol-owned MEV builder implementation☆54Updated 5 months ago
- A generator of protobuf encoders compliant with ADR-27 (This is a fork of https://github.com/nutsfinance/solidity-protobuf)☆20Updated last year
- CosmWasm Contracts for Skip Go☆39Updated 2 weeks ago
- revm/reth block proving on Valida☆16Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A code explorer for CosmWasm☆21Updated last year
- Decentralized stablecoin on Juno Network.☆10Updated 2 years ago
- ☆23Updated last year
- Consensus nodes performing in unison!☆32Updated 10 months ago
- IBC Workshop for the HackAtom in Seoul July 29-31 2022☆20Updated 2 years ago
- Pulling out Osmosis token factory module and the custom CosmWasm bindings into it's own repo for easier reuse☆24Updated last year
- ☆19Updated last week
- ☆17Updated 2 years ago
- Margined Protocol Perpetuals for CosmWasm Networks☆34Updated last year
- An example re-entrancy attack on a flashloan vault.☆16Updated 2 years ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- ☆31Updated last year
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Updated last year