Example · BooleanNetlistV1 · Local only

HalfAdder using a Profile

HalfAdder is an educational application instance. It is not the KTAPEOUT protocol and does not represent an L1 deployment.

Declare the circuit behavior

The example uses the BooleanNetlistV1 teaching shape. The Profile defines bounded semantics; HalfAdder supplies a concrete instance.

{
  "profile": "BooleanNetlistV1",
  "inputs": ["a", "b"],
  "outputs": ["sum", "carry"],
  "logic": {
    "sum": "a XOR b",
    "carry": "a AND b"
  },
  "mode": "LOCAL_ONLY"
}

Verify the invariant

a	b	sum	carry
0	0	0	0
0	1	1	0
1	0	1	0
1	1	0	1

These vectors test the declared local function. They do not prove a Kaspa transaction, L1 admission, or external runtime capability.

Produce a deterministic artifact

artifact   = build(profile, source, lock)
verified   = verify(artifact, vectors)
next_state = apply(artifact, prior_state, input)

This is illustrative pseudocode, not CLI commands. The real public starting path is the Rust CLI tutorial in Build a first local application. Signing and broadcast remain outside this educational page.