Skip to main content

Getting Started: The 5-Minute Simulator

The fastest way to understand HardKAS is to build a transaction in the Simulator.

You do not need a Kaspa node, Docker, or a network connection. The Simulator runs entirely in-memory and provides instant, deterministic feedback.

1. Initialize a Workspace​

Create a new directory and initialize HardKAS:

mkdir hello-hardkas
cd hello-hardkas
hardkas init .

This creates a hardkas.config.ts configured for the Simulator by default, and populates .hardkas/localnet.json with synthetic developer accounts (alice, bob) that are pre-funded with 1000 synthetic KAS.

2. Plan a Transaction​

We will send 1 KAS from Alice to Bob.

hardkas tx plan --from alice --to bob --amount 1 --out plan.json

HardKAS instantly evaluates the virtual state, selects the synthetic UTXOs, and generates a deterministic plan.json.

3. Authorize (Sign)​

hardkas tx sign plan.json --account alice --out signed.json

Because this is the Simulator, the keys are synthetic and HardKAS handles the cryptography instantly.

4. Execute​

hardkas tx send signed.json

The transaction is instantly applied to the virtual DAG. The resulting receipt.json contains the cryptographic proof of execution.

5. Verify Evidence (The Simulator Superpower)​

Because the Simulator owns the entire state universe, you can mathematically prove that the execution was deterministic:

hardkas verify receipt.json

HardKAS will hash the artifact, trace the lineage back to plan.json, and guarantee that no rules were broken during execution.

Next Steps​

You've successfully executed a transaction in zero seconds with zero infrastructure.

Next, read about Execution Environments to learn how to graduate this exact same workflow to a Real Node (Localnet).