renlabs-dev / torus-substrateLinks
The Torus Blockchain implementation.
โ24Updated 3 weeks ago
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
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.โ11Updated last year
- An efficient, secure cryptocomputerโ615Updated 2 years ago
- An interaction combinator runtimeโ18Updated last year
- A minimal decentralized computer.โ118Updated 3 years ago
- The Simplest Parser Library (that works) in Rustโ44Updated last year
- โ119Updated last year
- A zero-knowledge Lean4 compiler and kernelโ139Updated last year
- HVM3โ278Updated 2 months ago
- โช Sacred Compute - decentralized compute networkโ31Updated this week
- โ494Updated last year
- A minimal proof checker.โ77Updated last year
- commune-ai blockchain nodeโ14Updated 3 months ago
- An implementation of the Austral language compiler in Rustโ14Updated last year
- Temporary repository for Kind2's refactor based on HVM2โ281Updated last year
- a zero-knowledge proof-carrying code platform for Lean 4โ55Updated this week
- Rust SDK for Ledger device applicationsโ60Updated last week
- โ42Updated 4 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Proverโ73Updated 2 years ago
- โ55Updated 11 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common โฆโ152Updated 8 months ago
- Full spectrum sheaf neural network over arbitrary CW complexes.โ16Updated 5 months ago
- Lean circuit DSLโ108Updated last week
- This is a project to learn how to implement instruction dispatch in Rust.โ25Updated last year
- Ed25519 suitable for use in consensus-critical contexts.โ53Updated last year
- โ51Updated 2 weeks ago
- Bend2 - WIPโ238Updated last week
- The reference Hyperware runtimeโ50Updated last week