Ang pagbabago ng mga lock nang hindi pagbuo muli ng gusali Isipin ang isang gusali. Ang mga lock sa mga pinto ang nagpapasya kung sino ang makakabuksan nito. Ang pundasyon at mga beam ng istruktura ang nagpapasya kung kumpleto ba ang gusali. Sa Starknet, hihiwalay ang dalawang gawain na ito. Ang mga signature ang mga lock. Sila ang nag-aaprubang transaksyon; sila ang nagpapatotoo na ang tamang tao (o ang tamang smart contract) ang nag-apruba nito. Ang STARK proofs naman ang pundasyon. Sila ang nagpapatotoo na tama ang ginawang computation. Hindi sila nag-aalala kung anong lock ang ginamit; isa lang ang kanilang iniisip: kung tama ba ang resulta. Dahil ang mga account sa @Starknet ay programmable na smart contract (native account abstraction), maaaring palitan ang “lock” nang hindi inaayos ang pundasyon. Ang isang bagong implementasyon ng account ay maaaring gumamit ng ibang paraan ng signature, tulad ng post-quantum signature scheme, nang hindi kailangan ng network-wide upgrade o hard fork. Ang proving system ay nananatiling pareho. Ito ay parang makakapalit ka ng mga lock sa bawat pinto sa isang gusali para sa bagong uri ng lock, nang hindi kailangang ibuhos muli ang mga pader o pundasyon. Ang kakayahang ito ay umiiral ngayon.
