renlabs-dev / torus-substrateLinks
The Torus Blockchain implementation.
☆24Updated last month
Alternatives and similar repositories for torus-substrate
Users that are interested in torus-substrate are comparing it to the libraries listed below
Sorting:
- Collection of Kind2 programs and proofs☆12Updated last year
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- ☆23Updated 2 years ago
- A zero-knowledge Lean4 compiler and kernel☆139Updated last year
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- An efficient, secure cryptocomputer☆614Updated 2 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated last year
- An implementation of the Austral language compiler in Rust☆14Updated last year
- commune-ai blockchain node☆14Updated 4 months ago
- HVM3☆277Updated 3 months ago
- An interaction combinator runtime☆18Updated last year
- ☆119Updated last year
- Bend2 - WIP☆238Updated 3 weeks ago
- A minimal proof checker.☆78Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆74Updated 2 years ago
- a zero-knowledge proof-carrying code platform for Lean 4☆58Updated last week
- Rust SDK for Ledger device applications☆61Updated last week
- The reference Hyperware runtime☆52Updated this week
- ☆42Updated 4 years ago
- EVM-interoperable smart contracts written in Zig!☆25Updated last year
- A somehow lock-free multi-agent coordination layer.☆46Updated last month
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆153Updated 8 months ago
- ☆53Updated last week
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- ☆494Updated last year
- my personal lang☆17Updated 2 years ago
- A battleship game using ZKPs☆43Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆81Updated 6 months ago
- ☆37Updated 2 years ago