Explore Pricing Help
Sign In
luxfi/proofs
Watch 1
Star 0
Fork 0
mirror of https://github.com/luxfi/proofs.git synced 2026-10-30 15:21:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
proofs/property
T
History
zeekayandHanzo Dev ca86890ccd go 1.26.8
One toolchain across the estate. The tree carried 1.26.0, .1, .3, .4 and .5
at once, so which compiler built a binary depended on which repo it came
from.

Co-authored-by: Hanzo Dev <[email protected]>
2026-09-08 23:58:07 -07:00
..
ceremony_test.go
docs: update comment reference node/vms/zkvm → chains/zkvm
2026-03-02 05:27:49 -07:00
defi_test.go
property: use neutral RNG seed in WAL/governance tests
2026-06-24 10:34:08 -07:00
fhe_noise_test.go
proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests
2026-03-02 12:00:00 -08:00
go.mod
go 1.26.8
2026-09-08 23:58:07 -07:00
go.sum
proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests
2026-03-02 12:00:00 -08:00
quasar_test.go
proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests
2026-03-02 12:00:00 -08:00
replication_test.go
property: use neutral RNG seed in WAL/governance tests
2026-06-24 10:34:08 -07:00
strict_pq_test.go
proofs: rename pulsarm → pulsar identifiers (decomplect metaphor)
2026-05-20 16:13:36 -07:00

Sovereign AI engineering overlay across all your repositories. Fluid multi-git sync, high-velocity parallel CI/CD, and autonomous agent fleets.

Ecosystem

  • Enso Platform
  • Kai Models
  • Zen Runtime
  • Kata VM
  • Cloud Control
  • Agent Fleet

Forge

  • Repositories
  • Organizations
  • CTO Profile
  • Founder Profile
  • Architect Profile
  • Engineer Profile
  • Hanzo Core Org
  • Community Org

Developers

  • Documentation
  • Pricing & Plans
  • API Reference
  • CLI Tooling
  • System Status
  • Hanzo Forge Source

Platform

  • About Hanzo
  • Hanzo Team Billing
  • Careers
  • Security & Enclaves
  • Privacy Policy
  • Terms of Service
© 2026 Hanzo AI, Inc. All rights reserved. Hanzo Forge Sovereign Edition
All Systems Operational
Privacy Terms