A 'proof' of bandwidth, cpu and storage for nodes in a decentralised network.
RNS Transport: Link, Packet, Resource, proof handshake
Shared Tari engine data types
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Anoma Resource Machine Implementation using RISC0 zkVM
Pure quantum-proof network node for the Saorsa decentralized network
Pure quantum-proof network node for the Autonomi decentralized network
Monero-Chan, The Open-Source Privacy Platform (OSPP)
Build an MONEROCHAN program.
The CLI is used for various tasks related to MONEROCHAN, such as building the toolchain, compiling programs, and tracing programs.
Monero-Chan, The Open-Source Privacy Platform (OSPP)
Monero-Chan, The Open-Source Privacy Platform (OSPP)