Gasless onboarding, and the groundwork for provable audits

Three pillars moved this week, all pointing the same way: security you can verify rather than take on trust.

A first transaction without holding tokens

Native account abstraction now covers the first operation of a brand-new wallet. An address with a zero balance can transact; the fee comes from a sponsor pool rather than from the user.

Verified on the node: a zero-balance transaction goes through and the fee is drawn from the pool. The usual "go and acquire tokens somewhere else first" step is gone.

Why a tiny model is an advantage

VMGuardian, the contract auditor, has 897 parameters. That sounds like a limitation until you try to prove its work.

A forward pass that small can realistically be executed inside a zkVM, which makes a cryptographic proof possible: this score is the result of the approved model running on this bytecode. No trust in whichever node performed the audit. The design and scaffolding are in place.

Interop groundwork

Our internal cross-shard relay — lock, commit, refund, with Merkle proofs and timeouts — has been generalised into a reusable packet and channel engine. The behaviour of existing cross-shard transfers is unchanged; what changed is that the same machinery can now carry packets outward.