Alternatives and similar repositories for z4:

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

• axic / solc-rust
  Rust bindings for the Solidity compiler.
  ☆27Updated 4 years ago
• paritytech / smart-bench
  Smart contracts benchmarking on Substrate
  ☆22Updated 2 months ago
• sigp / ethereum_ssz
  SimpleSerialize (SSZ) implementation optimised for speed and security
  ☆21Updated last week
• OpenZeppelin / openzeppelin-pallet-abstractions
  ☆12Updated last week
• iden3 / go-circuits
  Circuits
  ☆22Updated this week
• omni / trustless-bridge-demo
  ☆21Updated 2 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 4 months ago
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 2 years ago
• propeller-heads / tycho-simulation
  ☆25Updated last week
• AcalaNetwork / predeploy-contracts
  ☆19Updated this week
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated 11 months ago
• paritytech / evm-tps
  Simple tool to flood EVM network with transactions and check for its TPS.
  ☆19Updated last year
• rust-blockchain / evm-tests
  ☆12Updated last year
• paritytech / ink-waterfall
  End-to-end tests for ink! ➜ cargo-contract ➜ canvas-ui || polkadot-js ➜ substrate-contracts-node.
  ☆16Updated last year
• roynalnaruto / eth-keystore-rs
  A minimalist library to interact with encrypted JSON keystores
  ☆40Updated last year
• interlay / interbtc-clients
  interBTC Clients | Vault, Oracle, Faucet
  ☆52Updated 6 months ago
• polk4-net / substrate-nft
  Substrate NFT !ink smart contract base
  ☆15Updated 3 years ago
• Near-One / rainbow-token-connector
  ERC-20/NEP-141 Token Connector for Rainbow Bridge
  ☆62Updated 3 weeks ago
• Phala-Network / awesome-phat-contracts
  A curated list of awesome projects and resources relating to Phat Contracts
  ☆27Updated last year
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆29Updated 4 months ago
• ComposableFi / composable-vm
  Interchain Atomicity, Blockbuilding and Routing via Composable VM
  ☆11Updated 8 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆23Updated last month
• BP-WG / bp-wallet
  Modern, lightweight & standard-compliant bitcoin wallet runtime & cli without rust-bitcoin dependencies
  ☆17Updated this week
• foundry-rs / block-explorers
  Bindings for the etherscan API and other block explorers.
  ☆59Updated last month
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆26Updated this week
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆41Updated last month
• ckoopmann / evm-disassembler
  Rust library to disassemble evm bytecode
  ☆20Updated 4 months ago
• ava-labs / timestampvm-rs
  Timestamp VM in Rust
  ☆19Updated 5 months ago
• ava-labs / avalanche-rs
  Avalanche APIs/VM SDK in Rust
  ☆44Updated 7 months ago