Everything you need to deploy, configure, and operate GuardLattice. From first install to sovereign production.
Get a single-node instance running in under 5 minutes. No dependencies required.
Get Started727+ REST endpoints covering all 22 sub-systems. Full request/response documentation.
Browse API1,176 commands organized by domain. Complete usage examples and output formats.
Browse CLI727+ REST endpoints organized by domain. All endpoints support JSON request/response with cookie-based authentication (HttpOnly).
Login, logout, session management, role-based access, temporary access windows.
Create policies, evaluate decisions, manage roles, audit access patterns.
Submit transactions, query blocks, verify proofs, manage consensus.
Key generation, signing, verification, encryption, FHE operations, MPC sessions.
Currency issuance, distribution, transfers, monetary policy, offline sync.
Deploy GL-C contracts, invoke methods, query state, manage upgrades.
Create service agreements, verify compliance, generate audit reports.
Payment processing, EMV bridge, ISO 20022 messaging, settlement.
Cluster operations, node health, consensus parameters, network topology.
1,176 commands organized by domain. Every operation available through the API is also accessible via the command line.
| Command Group | Commands | Description |
|---|---|---|
| guardlatice node | 85+ | Node lifecycle, cluster management, health checks |
| guardlatice ledger | 120+ | Transaction submission, block queries, proof verification |
| guardlatice crypto | 150+ | Key management, signing, encryption, FHE, MPC |
| guardlatice cbdc | 90+ | Currency issuance, distribution, policy management |
| guardlatice policy | 65+ | Policy creation, evaluation, role management |
| guardlatice gvm | 75+ | Smart contract deployment, invocation, state queries |
| guardlatice stark | 40+ | Proof generation, verification, circuit management |
| guardlatice commerce | 95+ | Payment processing, EMV, ISO 20022, settlement |
| guardlatice sal | 55+ | Service agreements, compliance, audit reports |
| guardlatice admin | 100+ | System administration, diagnostics, backup, restore |
Type-safe, formally verifiable, deterministic execution. 17,252 lines of compiler implementation.
Strong static typing with compile-time verification. No runtime type errors possible.
Built-in support for formal proofs. Verify contract behavior before deployment.
Same inputs always produce same outputs. No undefined behavior, no non-determinism.
Native PQ cryptographic primitives available as language built-ins.
// CBDC Transfer Contract contract CbdcTransfer { state balances: Map<Address, Amount>; state total_supply: Amount; // Only central bank can mint @require(caller.role == Role::CentralBank) fn mint(to: Address, amount: Amount) { balances[to] += amount; total_supply += amount; emit Minted(to, amount); } // PQ-signed transfer with offline support @pq_signed @offline_capable fn transfer(to: Address, amount: Amount) { require(balances[caller] >= amount); balances[caller] -= amount; balances[to] += amount; emit Transferred(caller, to, amount); } }