Skip to content

Repository navigation

v0.3.0 — Complete System Binary

Choose a tag to compare

View all tags
@AnubisQuantumCipher AnubisQuantumCipher released this 30 Mar 02:11
· 102 commits to main since this release
v0.3.0
392f93e

Install (any Mac)

curl -fsSL https://github.com/AnubisQuantumCipher/ziros/releases/download/v0.3.0/zkf-aarch64-apple-darwin.tar.gz | tar xz
sudo mv zkf-aarch64-apple-darwin /usr/local/bin/zkf
zkf doctor --json
zkf storage install

What's In This Binary

Every subsystem compiled and operational:

  • 39 top-level commands including reentry-assurance mission-ops surface
  • 16 reentry-assurance subcommands: sign-pack, validate-pack, prove, verify, report, export-bundle, ingest-gmat, ingest-spice, ingest-openmdao, ingest-trick, derive-model, qualify-model, publish-annex, build-dashboard, handoff-cfs, handoff-fprime
  • 9 proving backends: Plonky3 STARK, Groth16, Halo2 IPA, Halo2 KZG, Nova, HyperNova, SP1, RISC Zero, STARK-to-SNARK
  • 7 frontends: Noir, Circom, Cairo, Compact, Halo2-Rust, Plonky3-AIR, zkVM
  • CNSA 2.0 Level 5 post-quantum: ML-DSA-87 (FIPS 204), ML-KEM-1024 (FIPS 203), HKDF-SHA384
  • iCloud-native storage: NSFileCoordinator priority upload, Keychain key management, witness exclusion
  • Metal GPU: 63 shaders, 4-digest attestation, adaptive tuning
  • Swarm defense: Queen/Sentinel/Warrior/Builder/Diplomat with ML-DSA-87 identity
  • Neural Engine: 6 CoreML model lanes
  • 23 app templates including aerospace: 6-DOF GNC, tower catch, barge terminal, reentry thermal, powered descent, satellite conjunction, multi-satellite screening
  • Package workflows: prove-all, bundle, aggregate, compose across backends
  • Distributed cluster: start, status, benchmark
  • Credential system: issue, prove, verify with ML-DSA-87
Assets 5
Loading