S
ShowUpTestnet
EventsCreate Event1Click IntentsJudge Proof
Zero-Key Judge & Automated Screening Console

On-Chain Verification & Threat Model Proof

Every assertion below runs live against public NEAR Testnet RPC and NEAR Intents 1Click with zero private keys or paid APIs.

Local CLI Verification (Zero Env Vars Required)
Rust Unit + Adversarial Tests (12/12 passing)
cd contract && cargo test
Public Testnet + Sputnik + 1Click Verifier
cd scripts && node verify-public.mjs

Executed NEAR Testnet Proof Ledger (Happy Path + Blocked Attacks)

Contract: v1-mw8z34zu.showup-org-0jal170157.testnet (code_hash: DhTxaggoGMjpTHjQrELewDANNkfM8WZkjSJMTRn7SP2J)

StepActorOutcomeExplorer Proof
deploy_contractv1-mw8z34zu.showup-org-0jal170157.testnetSUCCESS9hyzi2XE1ZHL...
init_contractv1-mw8z34zu.showup-org-0jal170157.testnetSUCCESS6SnR2pCiapLk...
create_event_1showup-org-0jal170157.testnetSUCCESS8RfmfdYhaYqf...
rsvp_alice_event_1showup-al-0lcn573990.testnetSUCCESS6mDjsZR9TpxD...
rsvp_bob_event_1showup-bob-0n0s404348.testnetSUCCESS8N4ByLrYa3m4...
check_in_alice_event_1showup-org-0jal170157.testnetSUCCESSHqM9Lncxuy9U...
adversarial_unauthorized_checkin_blockedshowup-bob-0n0s404348.testnetREJECTED_AS_EXPECTED (ERR_UNAUTHORIZED)Blocked at RPC
adversarial_double_rsvp_blockedshowup-al-0lcn573990.testnetREJECTED_AS_EXPECTED (ERR_ALREADY_RSVPED)Blocked at RPC
settle_event_1showup-org-0jal170157.testnetSUCCESS12TgXXqhxoJo...
create_event_2_activeshowup-org-0jal170157.testnetSUCCESSCejwnn3mdHPL...
rsvp_alice_event_2showup-al-0lcn573990.testnetSUCCESSBhfPjCAzZ2aF...
create_event_3_activeshowup-org-0jal170157.testnetSUCCESS3CNttGnYb2tB...

9 On-Chain Security & Accounting Invariants

INV-01Enforced
Exact Escrow Conservation

sum(attendee_payouts) + dao_payout == total_pool_yocto (rounding dust goes to DAO)

cargo test: test_happy_path_rsvp_checkin_settle_split + Event #1 live settlement
INV-02Enforced
Exact Stake Deposit Enforcement

rsvp() rejects attached_deposit != event.stake_yocto (ERR_INVALID_STAKE)

cargo test: test_reject_wrong_stake_amount
INV-03Enforced
Single RSVP Per Account & Capacity Cap

attendees map prevents double RSVP; rsvp_count < max_capacity enforced

cargo test + Testnet attack block (ERR_ALREADY_RSVPED)
INV-04Enforced
Authorized Check-In Gate

Only organizer or designated checkin_operator can mark check_in before deadline

cargo test + Testnet attack block (ERR_UNAUTHORIZED)
INV-05Enforced
CEI Reentrancy Protection

Event status transitions to Settled/Cancelled BEFORE issuing Promise::transfer calls

cargo test: test_reject_early_settle_and_double_settle
INV-06Enforced
Zero Check-In Fallback Routing

If 0 attendees check in after deadline, 100% of escrowed pool routes to Sputnik DAO

cargo test: test_zero_checkins_routes_pool_to_dao
INV-07Enforced
Deadline Enforcement

No RSVP or check-in allowed after checkin_deadline_ns; no settlement before deadline

cargo test: test_reject_post_deadline_checkin
INV-08Enforced
Bounded DAO Split (<= 10000 bps)

dao_bps capped at 10,000 bps (100%); checked-in attendees always recover >= principal

cargo test: test_reject_invalid_dao_bps_and_empty_title
INV-09Enforced
Zero-Key Cross-Chain & Refund Safety

1Click Intents requires explicit refundTo on origin chain & zero private keys in production

verify-public.mjs + /api/judge/verify