lambdaclass / austral.rsLinks
An implementation of the Austral language compiler in Rust
☆15Updated last year
Alternatives and similar repositories for austral.rs
Users that are interested in austral.rs are comparing it to the libraries listed below
Sorting:
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- A poptrie implementation☆20Updated 3 weeks ago
- 256-bit unsigned integer implementation.☆63Updated 2 months ago
- This is a project to learn how to implement instruction dispatch in Rust.☆25Updated last year
- ☆16Updated 7 years ago
- 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
- Fast byte array to hex string conversion☆63Updated 3 months ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Updated last year
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆22Updated 2 years ago
- ☆21Updated 2 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Updated 2 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Updated 6 months ago
- Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture☆27Updated 3 weeks ago
- ☆53Updated this week
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆48Updated 2 weeks ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆32Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated 2 years ago
- ☆49Updated 2 years ago
- A C compiler, written in Rust.☆10Updated 3 years ago
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- A standard library wrapper for use in the `arkworks` ecosystem☆42Updated 4 months ago
- Fast RLP serialization library☆15Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆151Updated last week
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆19Updated last year
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆54Updated last week
- A pure-std Rust computation graph library☆15Updated 4 years ago
- Scalable and lock-free memory reclamation system☆37Updated last month
- Rust Uint crate using const-generics☆201Updated this week