Byt-Wyze develops decision-intelligence systems that make evidence, uncertainty and confidence measurable

Open-source research software, cryptographic verification and policy modelling, built on one set of capabilities for understanding evidence and making confidence explicit.

MIT-licensed open-source SAT, CNF and number-theory research tools, zero-knowledge and post-quantum verification services, and Whitehall-grade policy modelling. One platform for measurable evidence, uncertainty and confidence.

The Byt-Wyze platform

Open Source

ZK-Certificate

Policy Modelling

Organisations are making increasingly important decisions using data, automation and artificial intelligence. Yet most systems explain what they conclude, not how much confidence should be placed in those conclusions. As governance and accountability become more demanding, organisations need systems that measure evidence, quantify uncertainty and make confidence explicit.

Open Source Public research tools and reproducible experiments.

SAT tooling, cryptographic prototypes and experimental libraries from the Byt-Wyze research programme.

ZK-Certificate Auditable evidence for cryptographic-grade integers.

Checkable compositeness witnesses, proof-scoped classification and replayable certificate records, qualified by the M2 soundness theorem.

Policy Modelling Green Book-compliant public-sector simulations.

  • Checkable compositeness witnesses, proof-scoped classification and structured certificate records, qualified by the M2 soundness theorem.
  • Policy Modelling
  • Local-authority minimum unit pricing simulator with harm, revenue and NHS-cost projections.
  • Reformulation-adjusted sugar levy modelling with obesity-linked QALY outputs.
  • Cannabis Policy
  • Regulated-market simulation covering price, substitution, tax yield and enforcement cost.
  • The shared calibration and welfare-arithmetic substrate that powers every policy module.
  • Policy Modelling Hub
  • Directory of every live policy module, calibration audit and user manual.
  • BYT-WYZE — Open-Source Research Software, Cryptographic Verification & Policy Modelling