Starknet v0.14.2: in-protocol proof verification mở khóa privacy và zkThreads

TL;DR

Lúc 8:10 AM UTC ngày 20/04/2026, Starknet tạm dừng mainnet khoảng 10 phút để triển khai v0.14.2 — bản cập nhật được team mô tả là “một trong những protocol upgrade quan trọng nhất” trong nhiều tháng qua. Tâm điểm là SNIP-36: in-protocol proof verification, cho phép Starknet xác thực proof S-Two ngay ở tầng protocol thay vì phải workaround ở application layer. Đây là mảnh ghép mở khóa privacy native (STRK20, strkBTC) và đặt nền cho zkThreads trên lộ trình infinite scaling.

Có gì mới

v0.14.2 gói ba SNIP quan trọng:

• SNIP-36 — in-protocol proof verification: thêm trường tùy chọn proof và proof_facts vào Invoke V3 transaction, kèm syscall mới get_execution_info_v3 để contract đọc proof facts.
• SNIP-37 — tái cấu trúc giá storage: storage đắt lên, base L2 gas giảm xuống để align chi phí với tài nguyên sequencer thực tế.
• SNIP-13 — StarkGate v3.0.0: event Transfer và Approval giờ có indexed params, USDC đổi symbol thành USDC.e khi Circle launch native USDC.

Starknet chạy v0.14.2 trên testnet từ 23/03/2026, mainnet đi vào hôm nay (20/04/2026).

Tại sao quan trọng

Trước v0.14.2, muốn verify một proof S-Two on-chain phải nhét toàn bộ proof vào calldata của smart contract. Vấn đề: một proof S-Two thường chứa hàng chục nghìn field elements, vượt xa giới hạn 5K-felt của transaction calldata trên Starknet. Chia nhỏ proof qua nhiều tx thì chi phí đội lên không khả thi.

SNIP-36 giải quyết gọn: proof được gửi tới gateway + mempool nhưng không lưu trong block, giảm networking overhead. Chỉ một bản tóm tắt gọi là proof_facts (program hash, block hash, message hashes) là được lưu on-chain. Sequencer verify proof trước khi propagate vào consensus.

Hệ quả: hai use case lớn được mở khóa — privacy (transaction có thể thay đổi encrypted state một cách an toàn mà user và fullnode không thấy) và infinite scaling (app chạy logic off-chain và prove về cho Starknet).

Technical facts

So sánh với trước và đối thủ

So với zkSync Era, Linea, Scroll — những L2 này vẫn dựa vào app-level verification hoặc bridge-verified proof. Starknet là ZK L2 lớn đầu tiên đưa proof verification vào thẳng protocol theo mô hình này.

Use cases

• STRK20: framework privacy cho ERC20 ở tầng protocol — private transfer, private staking, anonymous swap trên DEX, shielding tuân thủ quy định.
• strkBTC: asset BTC native trên Starknet, redeem được sang BTC gốc, hỗ trợ shielded balance và private transfer mà vẫn giữ DeFi composability.
• zkThreads: app chạy môi trường thực thi riêng off-chain, submit proof về Starknet, tận dụng liquidity của Starknet. Đây là con đường “infinite scaling”.
• Sharding: khi proof verification cheap và native, shard-style scaling khả thi ở tầng app.

Hưởng lợi trực tiếp: DeFi ưu tiên privacy, builder BTCFi, dApp cần throughput cao, user tổ chức cần shielded balance compliant.

Limitations & pricing

• Mainnet downtime ~10 phút hôm nay (20/04/2026, 8:10 AM UTC).
• Breaking change: cách tính block-hash thay đổi (SNIP-36); indexer cần update cho ERC-20 event chuẩn SNIP-13.
• Một số tx hợp lệ thời pre-SNIP-37 có thể quá lớn sau khi pricing storage tăng.
• Proof không miễn phí: 130 L2gas/byte + 10M verification — rẻ hơn nhiều so với trước nhưng không phải zero.
• Virtual OS loại bỏ một vài trusted call (timestamp) — dev cần lưu ý khi dùng proof_facts.
• STRK20 và strkBTC mới ở mức framework-enabled — product launch cụ thể sẽ theo sau.

What's next

v0.14.2 là bệ phóng, chưa phải đích đến. Roadmap 2026 của Starknet hướng tới >10,000 TPS, transaction sub-500ms, decentralize cả sequencing lẫn proving. Các launch kế tiếp cần theo dõi: STRK20 product, strkBTC beta, zkThreads testnet, và tích hợp privacy sâu hơn ở tầng protocol.

Nguồn: Starknet v0.14.2 pre-release notes, SNIP-36, Starknet 2025 Year in Review, Starknet announcement.