Alternatives and similar repositories for smt2utils

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

• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆48Updated 11 months ago
• runtimeverification / mir-semantics
  ☆24Updated this week
• runtimeverification / beacon-chain-verification
  ☆18Updated 2 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆71Updated 2 years ago
• sigp / metastruct
  Abstractions for iterating and mapping over struct fields
  ☆17Updated 7 months ago
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 5 months ago
• recmo / zkp-u256
  Rust 256-bit unsigned integers.
  ☆9Updated 2 years ago
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆24Updated 3 weeks ago
• ethereum / yul-isabelle
  ☆41Updated 2 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆26Updated last year
• giuspek / FormalMethods-2022
  Obsolete
  ☆14Updated 2 years ago
• althea-net / serde-rlp
  Ethereum's RLP encoding implemented as a Serde data format
  ☆13Updated 2 years ago
• virtee / tdx
  Rust library for Intel TDX
  ☆25Updated last month
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated 2 weeks ago
• awslabs / rust-smt-ir
  ☆40Updated 3 weeks ago
• rozbb / ct-merkle
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆36Updated 3 months ago
• althea-net / guac_rs
  ☆14Updated 6 years ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated 2 years ago
• Veridise / zk-language-comparison
  Examples of Mastermind implemented in different ZK languages and frameworks.
  ☆13Updated 3 months ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated 2 years ago
• alloy-rs / nybbles
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆25Updated last week
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆75Updated 2 years ago
• Consensys / corset
  ☆19Updated 3 months ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago