Alternatives and similar repositories for austral.rs

Users that are interested in austral.rs are comparing it to the libraries listed below

• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆53Updated last year
• oxidecomputer / poptrie
  A poptrie implementation
  ☆20Updated 3 weeks ago
• nlordell / ethnum-rs
  256-bit unsigned integer implementation.
  ☆63Updated 2 months ago
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆25Updated last year
• althea-net / guac_rs
  ☆16Updated 7 years ago
• 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 …
  ☆157Updated 10 months ago
• DaniPopes / const-hex
  Fast byte array to hex string conversion
  ☆63Updated 3 months ago
• clabby / howitzer
  Howitzer is a Fault Proof VM based on the MIPS64 architecture
  ☆14Updated last year
• RustCrypto / book
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆22Updated 2 years ago
• Consensys / corset
  ☆21Updated 2 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Updated 2 years ago
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆78Updated 6 months ago
• scroll-tech / zkvm-prover
  Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
  ☆27Updated 3 weeks ago
• fe-lang / sonatina
  ☆53Updated this week
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆33Updated 2 years ago
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆48Updated 2 weeks ago
• zefchain / bcs
  Rust implementation of the Binary Canonical Serialization (BCS) format
  ☆32Updated last year
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Updated 2 years ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• ibraheemdev / ripc
  A C compiler, written in Rust.
  ☆10Updated 3 years ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 10 months ago
• arkworks-rs / std
  A standard library wrapper for use in the `arkworks` ecosystem
  ☆42Updated 4 months ago
• vorot93 / fastrlp
  Fast RLP serialization library
  ☆15Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆151Updated last week
• RomanHodulak / evm-state-cache-rs
  Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.
  ☆19Updated last year
• sine-fdn / garble-lang
  Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
  ☆54Updated last week
• mattiekat / cgraph
  A pure-std Rust computation graph library
  ☆15Updated 4 years ago
• wvwwvwwv / scalable-delayed-dealloc
  Scalable and lock-free memory reclamation system
  ☆37Updated last month
• recmo / uint
  Rust Uint crate using const-generics
  ☆201Updated this week