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

Asymetrix

Verify

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.

Asymetrix Nonlinear risk detection before systems fail.

Scenario sweeps, Monte Carlo breach probability and hotspot attribution for banks, insurers and critical infrastructure.

Verify Algebraic integrity for numbers, keys and AI systems.

  • Asymetrix — enterprise risk intelligence
  • Algebraic integrity for numbers, keys and AI systems. Two APIs sharing one seventeen-probe substrate and the proved M2 soundness theorem.
  • Factor-free compositeness certificates for ZK and post-quantum parameter QA up to 4,096 bits.
  • Academic Certificate
  • Full seventeen-probe algebraic primality telemetry with replayable witnesses, for research and security teams.
  • About the Verify substrate
  • How the seventeen probes and the M2 soundness theorem combine into a cryptographic-audit layer.
  • 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.