Transaction

What happened, step by step

1. redsigma.s03-gate.testnet to redsigma.s03-gate.testnet

   deploy_contract()

   Arguments (1227 bytes)

   {
     "contract_name": "counter",
     "source": "// REDΣSIGMA example: a counter whose state transitions are DISCHARGED by the\n// z3 verifier, not just written down.\n//\n// Verify with:\n//   cargo run -p redsigma-compiler --example emit_verification -- examples/verified_counter.redsigma \\\n//     | python3 verify/redsigma_verify.py\n//\n// This file uses only syntax the parser implements today: plain integer types\n// and explicit `x = x + 1` assignments. The `VerifiedU64<invariant: ...>` and\n// `+=` forms shown in older docs are NOT parser-supported yet.\n\ncontract Counter {\n    invariant count >= 0;\n\n    state {\n        count: u64,\n    }\n\n    @verified(\n        pre: true,\n        post: count == old(count) + 1,\n        invariant: count >= 0\n    )\n    fn increment() -> u64 {\n        count = count + 1;\n        count;\n    }\n\n    @verified(\n        pre: count > 0,\n        post: count == old(count) - 1,\n        invariant: count >= 0\n    )\n    fn decrement() -> u64 {\n        count = count - 1;\n        count;\n    }\n\n    // A view still carries its proof: it must not change state.\n    @verified(pre: true, post: count == old(count), invariant: count >= 0)\n    fn get() -> u64 { count; }\n}\n"
   }

1 automatic refund step from the network not shown.

Check this yourself

This page reads FastNEAR's public transaction index and stores nothing. This command asks a NEAR archival node for the same transaction and needs no keys.

curl -s https://archival-rpc.testnet.fastnear.com -H 'Content-Type: application/json' -d '{"jsonrpc":"2.0","id":1,"method":"tx","params":{"tx_hash":"7LNKtcLKvTqXtVe9dsFAq65Wm62ps8atV8RuxDVtSjYg","sender_account_id":"redsigma.s03-gate.testnet","wait_until":"FINAL"}}'

Vouch has its own page because testnet.nearblocks.io stopped indexing on 27 Sep 2026, so it can't show newer transactions.