Alternatives and similar repositories for solarkraft:

Users that are interested in solarkraft are comparing it to the libraries listed below

• informalsystems / atomkraft
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆83Updated 2 years ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆31Updated 4 months ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆41Updated this week
• ComposableFi / cosmwasm-vm
  Alternative CosmWasm VM
  ☆25Updated last year
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated 5 months ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆71Updated 10 months ago
• informalsystems / CometMock
  Drop-in replacement for CometBFT in end-to-end tests
  ☆24Updated last year
• informalsystems / hermes-sdk
  ☆33Updated this week
• CosmWasm / cw-multi-test
  CosmWasm multi-contract testing framework
  ☆52Updated this week
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆82Updated 2 years ago
• cometbft / knowledge-base
  CometBFT team public knowledge base. Always a work-in-progress.
  ☆16Updated 11 months ago
• cosmos / sp1-ics07-tendermint
  This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)
  ☆24Updated 4 months ago
• larry0x / ics999
  An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities
  ☆40Updated last year
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆77Updated 2 months ago
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆53Updated last week
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆81Updated 3 weeks ago
• succinctlabs / zkvm-perf
  ☆24Updated 3 months ago
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated 6 months ago
• MystenLabs / anemo
  ☆45Updated last month
• informalsystems / atomkraft-cosmos
  ☆11Updated 2 years ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆30Updated this week
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆53Updated 2 weeks ago
• anoma / ethereum-bridge
  A generalized fully trustless Ethereum bridge for sovereign chains.
  ☆13Updated last year
• Pi-Squared-Inc / proof-checker-public
  ☆20Updated 9 months ago
• informalsystems / malachite
  Flexible BFT consensus engine in Rust
  ☆226Updated this week
• teamscanworks / cw-contracts-registry
  CosmWasm contracts registry
  ☆15Updated 2 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated last month
• starkware-libs / formal-proofs
  ☆58Updated 5 months ago
• osmosis-labs / osmosis-rust
  Rust libraries for osmosis
  ☆60Updated last month