Primitive Types

pragma language_version >= 0.23;

import CompactStandardLibrary;

// Unsigned integers - bounded type
export ledger counter: Uint<0..1000>;

// Unsigned integers - sized type (32 bits)
export ledger balance: Uint<32>;

// Field element for ZK computations
export ledger commitment: Field;

// Fixed-length byte array
export ledger hash: Bytes<32>;

// Opaque type - hashed inside circuits, full value visible off-chain
export ledger secretValue: Opaque<"string">;

export circuit updateCounter(newValue: Uint<0..1000>): [] {
  counter = disclose(newValue);
}

export circuit updateBalance(amount: Uint<32>): [] {
  // a + b widens; assert no overflow, then cast back to Uint<32>
  assert(balance <= (4294967295 as Uint<32>) - amount, "balance overflow");
  balance = disclose((balance + amount) as Uint<32>);
}

export circuit storeCommitment(value: Field): [] {
  commitment = disclose(value);
}

export circuit storeHash(data: Bytes<32>): [] {
  hash = disclose(data);
}

export circuit updateSecret(secret: Opaque<"string">): [] {
  secretValue = disclose(secret);
}