什麼是 Starknet（STRK）？

以太坊的可擴展性限制自誕生以來一直是一個痛點，而 STRK 正是為了透過使用高級數學和密碼學驗證鏈下交易來解決這個問題而建構的。 STRK 使用「ZK-Rollup」方法，充當以太坊上的 L2 網絡，允許任何 dApp 實現無限的計算規模，同時保留 ETH 的可組合性和安全性。

STRK 如何解決可擴充性問題？

區塊鏈旨在實現三個核心屬性：安全性、去中心化和可擴展性。 然而，三難困境是區塊鏈可以在任何給定係統上同時實現其中兩個目標，而第三個目標則必須受到損害。 以太坊更加重視安全性和去中心化，這會影響其可擴展性。 以太坊用戶群的不斷增加意味著交易時間緩慢和汽油價格高昂，這反過來又限制了以太坊的採用。

我們如何在不損害以太坊安全性和中心化的情況下使以太坊具有可擴展性？ 這就是 Starknet 有效性匯總出現的時候。以太坊和 Starknet 可以結合在一起，以極大地擴展系統。

Starknet 透過將交易處理移出以太坊主網（我們稱之為鏈下）來實現規模化，但在鏈上提供交易摘要。 交易被匯總為單一鏈上交易，該交易在鏈下處理並分組為批量區塊。 為了確保交易及其執行的完整性，而無需重新執行它們，Starknet 採用 STARK 證明進行可驗證計算，然後僅將有關區塊和證明的基本資訊傳輸到以太坊，並以最小的計算量進行驗證。

創造力待釋放

Starknet 上的智能合約需要用它自己的原生程式語言 Cairo 編寫，這是一種針對 ZK rollups 優化的極其強大的語言。 Cairo 允許開發人員透過授權他們編寫任何類型的業務邏輯來突破應用程式的界限。 與 Cairo 一起構建，開發人員可以創造以前在區塊鏈上不可能實現的新可能性。