ការពិនិត្យបញ្ហាអវិជ្ជមាន៖ ជំហានបន្ទាប់របស់បច្ចេកវិទ្យា ZK ឬក្តីអំពាវនាវតែចឹង?

ការពិនិត្យបញ្ហាអវិជ្ជមាន៖ ជំហានបន្ទាប់របស់បច្ចេកវិទ្យា ZK ឬក្តីអំពាវនាវតែចឹង?

Succinct Labs និង Polygon Labs បានណែនាំរបស់បញ្ហាបញ្ឈប់ថ្មីដែលគេហៅថា pessimistic proof តាមរយៈ SP1 zkVM ដើម្បីពង្រឹងសុវត្ថិភាពបណ្តាញ និងធ្វើឱ្យការអភិវឌ្ឍន៍ ZK កាន់តែងាយស្រួល។

ការបញ្ឈប់នេះធានាថាបណ្តាញណាមួយមិនអាចធ្វើឱ្យការដាក់ប្រាក់របស់អ្នកដទៃមានបញ្ហាទេ។ SP1 បានរួមបញ្ចូលជាមួយ Rust និង Plonky3 ដែលធ្វើឱ្យការអភិវឌ្ឍន៍ ZK កាន់តែងាយស្រួល ហើយឆាប់រហ័ស។

អាក្សរសហស្ថាបនិក Polygon លោក Brendan Farmer បានចុះអត្ថបទថា ភាពឯកជនផ្នែកហិរញ្ញវត្ថុគឺចាំបាច់សម្រាប់អនាគត។

Pessimistic proofs: ZK tech’s next step or mere cynicism?

Succinct Labs and Polygon Labs have introduced a novel zero-knowledge (ZK) proof called pessimistic proof via the SP1 zkVM, aiming to enhance cross-chain security and simplify ZK development. Developed using the SP1 ZK virtual machine, these proofs ensure that no single blockchain can compromise the deposits of others within the AggLayer network.

Polygon's spokesperson highlighted that pessimistic proofs secure cross-chain interactions by verifying every chain's state truthfully through ZK proofs or consensus mechanisms. This system also ensures no chain can withdraw more tokens than deposited, maintaining chain-level accounting integrity. The design will remain consistent even when supporting non-ZK chains in the future.

SP1, integrated with Rust and Plonky3, simplifies ZK development by allowing developers to build proof systems and zkVMs without writing custom ZK circuits. This integration results in faster ZK development times. Plonky3, as an open-source toolkit, facilitates the creation of new ZK technologies and accelerates the development of SP1.

Polygon co-founder Brendan Farmer emphasized the importance of financial privacy in the future, describing the AggLayer as a decentralized protocol operated by staked nodes. The open-source nature of SP1 and Plonky3 highlights the collective value of collaborative development in advancing ZK technology.