Curve zkSync L2：以太坊的ZK Rollup 智能合約_INC

譯文出自：登鏈翻譯計劃

譯者：翻譯小組

Curve和MatterLabs團隊很高興宣布以安全且去中心化的方式向以太坊擴展邁出了一大步：今天，我們和CurveFinance一起發布了第一個常駐dapp的zkSyncL2智能合約測試網。

>>**演示demo!**<<

在Zinc上的Curve合約

Zinc文檔

為什么選擇ZKRollup？

擴展性是以太坊一個迫切的需求-隧道盡頭有一個亮燈。VitalikButerin剛剛宣布Rollup是現階段擴展以太坊的“唯一選擇”，突出顯示了其(/matter-labs/evaluating-ethereum-l2-scaling-solutions-a-comparison-framework-b6b2f410f955"獨特的無需信任安全保證")。

ZKRollup(ZKR)是現有的兩種Rollup版本之一，另一種是OptimisticRollup(簡寫：OR)。兩種方法都有其取舍(參見詳細比較)。這是主要的實際差異：

安全-即使使用單個驗證者，ZKRollup也非常安全，因為它們依靠純數學，而不是進行持續的經濟激勵活動來確保資金安全。除了密碼學假設外，ZKR與基礎L1一樣安全。這對于處理資產總值高的協議尤其重要。與ZKR相比，OptimisticRollup具有強大的反網絡效應：其安全性與鎖定價值成比例地降低。實際上，需要控制資本上限(數千萬美元的范圍內)，才能安全地放如在單個OptimisticRollup中，才能保持對對L1的高度合理攻擊的抵抗.只要以太坊仍然是PoW鏈，就無法緩解。

Raonsecure將發行帶有DID的移動全國退伍軍人卡:金色財經報道，RaonSecure公司宣布，Omni-One分布式身份識別（DID）平臺已應用于韓國國家退役軍人事務部最近開始發行的移動全國退役軍人登記卡。OmniOne DID平臺是一個基于區塊鏈的平臺，由分布式服務器節點和生物識別認證（FIDO）解決方案組成。 當用戶通過移動ID應用申請發放全國退伍軍人登記卡時，全國退伍軍人登記卡會在身份驗證流程結束后發放到申請人的移動ID應用中。發放歷史記錄在基于 RaonSecure 區塊鏈的獨立服務器節點上，無法偽造或篡改。[2023/8/16 21:26:11]

最終確定性。ZKRollup的最終確定性時間(分鐘)短，因此支持資本快速退回到L1。相反，OptimisticRollup被迫在快速退出和資本效率退出之間進行選擇，但不能兩者兼有。大多數研究人員認為，OR至少需要一個星期的爭議延遲時間。這對于與L1上的合約(至少將在最初)繼續在生態系統中發揮重要作用的合約的互操作性非常重要。

可編程性-通過OptimisticRollup支持完全的EVM兼容性更加容易。通常認為OR方法是將現有以太坊智能合約引入L2的唯一可行方法。但是，這種情況即將改變。

ZKRollup中的智能合約？

直到最近，在ZKRollup中支持任意用戶定義的智能合約還是一項極富挑戰性的任務。但是這些天來，在零知識證明領域中事情發展很快。2020年帶來了幾項突破，最終使之成為可能：MatterLabs引入了Zinc編程語言和對SNARK友好的ZincVM，并實現了以太坊的遞歸PLONK證明驗證。這些技術的結合將推動zkSync上的實現智能合約。

Hamilton Lane價值21億美元基金通過Securitize在Polygon上向個人投資者開放:2月1日消息，據Polygon官方博客，全球資產管理公司Hamilton Lane價值21億美元基金正在利用數字證券平臺Securitize在Polygon網絡上的代幣化平臺向個人投資者開放。Hamilton Lane正在通過一只新的代幣化支線基金向個人投資者開放其Equity Opportunities Fund V的一部分，代幣化基金為個人提供了一種投資私募股權資產類別的方式，最低投資額從平均500萬美元降至2萬美元。Securitize和Hamilton Lane共同計劃在未來幾個月推出另外兩支支線基金。

此前金色財經報道，資管公司Hamilton Lane擬通過代幣化基金以吸引個人投資者投資。[2023/2/1 11:40:07]

ZincVM如何工作？

合約以Zinc編程語言編寫并編譯。編譯器輸出是雙重的：

Zinc虛擬機的字節碼。

合約的SNARK驗證密鑰。

ZincVM字節碼驗證密鑰可以完全無許可的方式部署到zkSync網絡。合約將在L2中被分配一個新地址。每當用戶與該合約進行交互時，zkSync的驗證程序將執行ZincVM操作碼并產生對交易有效性的零知識證明–友好的SNARKZincVM的特殊設計使其成為可能。然后將由Rollup塊電路針對已部署的驗證密鑰來遞歸驗證該證明。然后，以太坊上的zkSync智能合約驗證區塊證明，以授權狀態轉換，所有交易狀態轉換可以在一個區塊快速的驗證。

Frax Finance正在研究與Curve推出部分抵押穩定幣解決方案:金色財經報道，混合算法穩定幣協議 Frax Finance 正在研究推出部分抵押穩定幣解決方案，其 FRAX Token 是一種介于 USDC 和 DAI 這些超額抵押穩定幣和 UST 算法穩定幣之間的穩定幣，目前已與 Curve Finance 穩定幣套利協議完成集成，并構建了50/50 FRAX/USDC Frax Base Pool 策略，此外 Frax Finance 還允許其用戶將流動性質押衍生品 frxETH 借給 Curve 流動性池以獲取交易激勵。（beincrypto）[2023/1/17 11:16:22]

因此，zkSync上的Zinc智能合約繼承了有效性證明的嚴格安全保證。

如何為zkSync編寫智能合約？

目前，必須使用Zinc編程語言編寫ZincVM的智能合約。查看最新版本的ZincBook，你將找到完整的入門指南和完整的開發人員參考。我們期待你在ZincGitter聊天室中提出的問題和反饋。

Zinc目前處于封閉開發Beta版。如果你有興趣為你的項目嘗試，請與我們聯系.

Zinc與Solidity/Vyper有何不同？我可以移植現有的源代碼嗎？

Zinc遵循簡化的Rust語法，但它借鑒了Solidity的所有智能合約元素和結構體。任何有經驗的Solidity/Vyper開發人員都可以在幾天之內了解到它。

Curve分叉項目Swerve代幣發行量減少至每年900萬枚SWRV:Curve分叉項目Swerve官方剛剛再次發推表示，平臺治理代幣SWRV發行量現在已經減少到每年900萬枚SWRV。網站上的APY是準確的。[2020/9/19]

由于Zinc在結構體上與Solidity相同，因此可以輕松地將現有的Solidity代碼轉換為Zinc。主要的挑戰是Zinc目前尚未完全圖靈完備。這意味著：禁止遞歸和無限循環(有限循環是OK的)。

第二受歡迎的ETH智能合約語言Vyper也不是圖靈完備的。因此，今天任何Vyper程序都可以同構轉換為Zinc。這正是zkSync上Curve的工作方式：MatterLabs幫助Curve團隊將現有的Curve合約重寫為Zinc版本。它幾乎逐行與原始來源相同。

盡管Zinc本身不是圖靈完備的，但實際上任何在Solidity可以完成的工作而只需進行很少的修改即可在Zinc中完成，部分是因為大多數Defi應用程序的代碼很少需要循環或遞歸，部分是因為圖靈完整組件可以通過利用交易級別的遞歸來重新實現，即合約通過外部調用來調用自己的公共方法(在zkSync中仍然可以實現)。

此外我們還有更多的好消息：MatterLabs正在努力在不久的將來使Zinc圖靈完備。在此之前，我們很樂意為你的團隊提供支持，以使現有的Solidity代碼可移植。請聯系.

YIP 39提案獲批 YFI已添加Curve sBTC資金流動池:8月26日，yearn.finance官方發推稱，YIP 39提案已獲得通過，YFI現已添加Curve sBTC資金流動池。sBTC為以太坊鏈上錨定BTC的代幣。[2020/8/26]

可組合性如何？

zkSyncL2網絡中的所有合約都將能夠以與以太坊主網上完全相同的方式原子地互相調用。

如何管理用戶密鑰？

在Gitcoin贊助第7輪，zkSync被直接集成到結帳流程中，這需要信任Gitcoin網站。在此Demo中，zkSync私鑰永遠不會離開connect.zksync.dev的范圍。這種類型的集成類似于Web2世界中的單點登錄身份驗證方案，該方案廣泛用于Google/Apple/Facebook登錄。這實際上意味著zkSync現在可以與任何以太坊錢包和任何數量的完全不受信任的dapp結合使用。

即使zkSync網站被黑，我們的方法也需要通過以太坊錢包另外簽名每條消息的方式進行2次驗證。目前，該簽名已由我們的服務器驗證，盡管遞歸PLONK證明現在使我們可以將其直接集成到我們的ZKP電路中，而無需太多開銷。

同時，我們正在與其他團隊合作開發通用的以太坊L2簽名標準，這將使圍繞L2合約進行交互的用戶體驗更加令人愉悅。

ZincAlef的局限性是什么？

測試網功能齊全，你可以編寫智能合約，將它們部署到測試網，在本地測試它們，并生成智能合約執行的零知識證明。每筆交易都將導致zkSync測試網上的進行真實通證轉移，這將反映在區塊瀏覽器和錢包中。

但是，在此階段，ZincVM尚未集成到zkSync核心中。Zinc編程語言中的一些重要功能也可能會丟失。我們將根據社區的要求優先開發功能。

本翻譯由CellNetwork贊助支持。

來源：https://medium.com/matter-labs/curve-zksync-l2-ethereums-first-user-defined-zk-rollup-smart-contract-5a72c496b350

參考資料

登鏈翻譯計劃:https://github.com/lbc-team/Pioneer

翻譯小組:https://learnblockchain.cn/people/412

演示demo!:https://zksync.curve.fi/

在Zinc上的Curve合約:https://github.com/matter-labs/curve-zinc

Zinc文檔:https://zinc.zksync.io/

剛剛宣布Rollup是現階段擴展以太坊的“唯一選擇”:https://www.trustnodes.com/2020/10/05/ethereum-rollups-are-the-only-choice-for-scalability-says-vitalik-buterin

Rollup:https://learnblockchain.cn/tags/Rollup

Optimistic?Rollup(簡寫：OR):https://learnblockchain.cn/tags/OptimisticRollup

參見詳細比較:https://learnblockchain.cn/article/738

對L1的高度合理攻擊的抵抗:https://ethresear.ch/t/nearly-zero-cost-attack-scenario-on-optimistic-rollup/6336

被迫在快速退出和資本效率退出之間進行選擇:https://medium.com/starkware/the-optimistic-rollup-dilemma-c8fc470ca10c

以太坊的遞歸PLONK證明驗證:https://medium.com/matter-labs/zksync-v1-1-reddit-edition-recursion-up-to-3-000-tps-subscriptions-and-more-fea668b5b0ff

ZincBook:https://zinc.zksync.io

ZincGitter聊天室:https://gitter.im/matter-labs/zinc

與我們聯系:https://zksync.io/contact.html

聯系:https://zksync.io/contact.html

Gitcoin贊助第7輪:https://gitcoin.co/blog/gitcoin-grants-round-7/

connect.zksync.dev:https://connect.zksync.dev

CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain

Tags：INCZINZINCzkSynccoincheck交易所官網下載zksync幣imtoken

DAI