Skip to content
#

optimistic-verification

Star

Here are 2 public repositories 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

BTCVault-CLI / BTCVault-CLI

Star 0

BTCVault‑CLI – Educational command‑line tool modeling a trust‑minimized Bitcoin vault with BitVM2‑style optimistic verification. Operator publishes execution trace commitments; anyone can challenge fraudulent withdrawals using fraud witnesses (hash commitments). TypeScript reference for learning BitVM2, challenge periods, and permissionless.

cli bitcoin vault challenge-response timelock bitvm btcfi bitvm2 optimistic-verification fraud-proof trust-minimized
  • Updated May 14, 2026
  • TypeScript

Improve this page

Add a description, image, and links to the optimistic-verification 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 optimistic-verification topic, visit your repo's landing page and select "manage topics."

Learn more