⚒️ The Foundry

Forge The Future

The ultimate workbench for High-Performance, Formally Verified Agents.
Build with Java 25. Prove with TLA+. Deploy to WASM.

The Toolbelt

☕

Java 25

OpenJDK Preview

Write smart contracts in the language you know. Leverage Virtual Threads and Panama Vector API for raw speed.

📦

Dynamis Kit (DK)

v1.2.0-beta

The CLI for building, testing, and deploying Topos Agents. Includes local testnet runner.

📐

TLA+ Specs

Formally Verified

Don't just test code—prove it. Our core consensus and bridging protocols are mathematically verified.

⚡

WASM Runtime

GraalWASM & Chicory

Dual-engine execution. GraalWASM for JIT-compiled performance, Chicory for pure-Java portability.

Deep Tech

🚀

Vectorized Cryptography

We use the Panama Vector API to access hardware SIMD instructions directly from Java. This accelerates BLAKE3 hashing and Dilithium signatures by 4x compared to scalar code.

// SIMD Acceleration in Java 25
var species = IntVector.SPECIES_256;
var v0 = IntVector.fromArray(species, state, 0);
v0.add(v1).intoArray(result, 0);

📜

Formal Verification

We don't guess. We prove. The core Sheaf Consensus logic is specified in TLA+ and model-checked with Apalache to ensure safety and liveness properties hold under all network conditions.

(* TLA+ Specification for Sheaf Consensus *)
THEOREM ConsensusSafety ==
  [](\A n1, n2 \in Nodes :
      committed[n1] # NULL /\ committed[n2] # NULL
      => committed[n1] = committed[n2])