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
  ☆84Updated 2 years ago
• informalsystems / quartz
  Secure SGX Sidecar for CosmWasm
  ☆59Updated last month
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆36Updated 2 years ago
• informalsystems / CometMock
  Drop-in replacement for CometBFT in end-to-end tests
  ☆23Updated last year
• anoma / typhon
  Formalization of Typhon protocol
  ☆30Updated last year
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆58Updated last year
• ComposableFi / cosmwasm-vm
  Alternative CosmWasm VM
  ☆25Updated 2 years ago
• cosmos / sp1-ics07-tendermint
  This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)
  ☆24Updated last year
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆78Updated 11 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆83Updated 7 months ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆84Updated 2 years ago
• CosmWasm / cw-multi-test
  Testing tools for multi-contract interactions
  ☆54Updated 2 weeks ago
• anoma / ethereum-bridge
  A generalized fully trustless Ethereum bridge for sovereign chains.
  ☆14Updated 2 years ago
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆62Updated last month
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆148Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆75Updated 2 years ago
• fe-lang / sonatina
  ☆53Updated this week
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆62Updated 5 months ago
• larry0x / ics999
  An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities
  ☆41Updated 2 years ago
• MystenLabs / anemo
  ☆47Updated last month
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated last year
• CyberHoward / cosmwasm-re-entrancy-example
  An example re-entrancy attack on a flashloan vault.
  ☆15Updated 3 years ago
• informalsystems / hermes-sdk
  ☆51Updated 2 months ago
• succinctlabs / zkvm-perf
  ☆27Updated last year
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated 2 years ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆64Updated 3 weeks ago
• Consensys / eth2.0-dafny
  Eth2.0 spec in Dafny
  ☆79Updated last year
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆53Updated last year
• informalsystems / cosmwasm-to-quint
  Semi-automated modelling and Model-Based Testing for CosmWasm contracts
  ☆17Updated last year
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆25Updated 7 months ago