A Layer 1 blockchain with deterministic execution through Nix-based reproducible builds and pure functional smart contracts. Byzantine consensus through reproducibility: one execution path, multiple verification proofs. [PoR]
nix smart-contracts blockchain merkle-tree deterministic zero-knowledge consensus-protocol zksnarks light-client interactive-proofs proof-of-reproducibility verification-diversity nix-builds optimistic-verification symboli
-
Updated
Nov 9, 2025