Skip to content
#

verification-diversity

Star

Here is 1 public repository matching this topic...

object-petit-a / galois

Star 2

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

Improve this page

Add a description, image, and links to the verification-diversity topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verification-diversity topic, visit your repo's landing page and select "manage topics."

Learn more