Virtual NEAR Day is live today on @therollupco, 11am–2:00pm ET. NEAR Co-founders @ilblackdragon and @AlexSkidanov open on formal verification.  5 panels follow: agents holding keys, confidential execution, private model routing, staking for AI, cross-chain.

Sep 10, 2026 · 1:00 PM UTC

21
41
318
130,028
Live here on X and on YouTube at the link below: piped.video/watch?v=lbT9XmOG…
4
3
55
22,028
Sort replies: Relevant Recent Liked
⚡️ Top Blockchains by Total Value Locked Growth @RobinhoodCrypto Chain led TVL growth at +87.8%, nearly double second-place @NEARProtocol at +48.1%, despite holding just $897M compared to Ethereum's $49.6B. @Ethereum still added far more in absolute terms even with a modest 18.5% growth rate. $HOOD $NEAR $OP $INK $FLR $BTC $SOL $ETH $HYPE $AVAX $BNB $MON $TRX
1
99
What is that weird AI slop face of Skidanov? He looks different
38
Agents holding keys is the right panel. Keys without a named principal are just secrets. Bind the key to an identity someone can audit after the action.
1
25
yeah I'll be tuned in for the formal verification talk
1
40
Will nearkat be at the conference?
1
55
Agent infrastructure increasingly combines formal verification, private routing, and confidential execution.
57
Agents holding keys is the panel I'd sit in for. Verifying the contract doesn't help much if spend limits and revocation live in some off-chain config the agent can talk its way past
4