飼料家族怎麼了！
歡迎收看#ALEO Pulse 的最新一集，這是 ALEO 上所有內容的一站式中心😎
我們來了🚀
3️⃣ snarkVM 和 AleoPM 上的用法
🔺SnarkVM
➡️為了簡單起見，SnarkVM 是允許零知識執行的虛擬機，完全執行 EVM（以太坊虛擬機）的功能，但在 zk 中😉
它的功能是在 Aleo 區塊鏈上執行以下重要功能👇
1️⃣最好的隱私
🔵SnarkVM 利用了 zk-SNARK（零知識簡潔非互動式知識論證），這是基於密碼學的尖端技術。
這些 SNARk 確保智能合約和交易等資訊的隱私。
2️⃣改善使用者體驗
🔵得益於 snarkVm 的無限可擴展性，開發人員可以在區塊鏈上執行智能合約並執行交易，並且由於其最新的姊妹組件鏈下計算，零延遲🤯
3️⃣啟用跨鏈功能
🔵SnarkVM 旨在執行跨鏈功能，允許與其他相容的區塊鏈無縫整合。
想像一下使用橋來轉移資產而不侵犯隱私🤗
這就是 Aleo 成為 Web3 的重要組成部分的地方☀️
4️⃣圖靈完備性的使用
🔵SnarkVM 被認為是圖靈完整的虛擬機，這使得它能夠在幾秒鐘內進行大規模且高度複雜的計算。
🔵這對於隱私區塊鏈而言非常有用，zkSNARKs 也將利用這種運算方法來推動智慧合約。
SnarkVM 由以下元件組成👇
1️⃣指令集 --> 建立在 R1CS（一種 zk 語言）之上。該組件透過 ZK Proofs 驗證正確性。
2️⃣執行引擎 --> SnarkVM 中最關鍵的元件。顧名思義，它在 Aleo 區塊鏈上執行智能合約。
3️⃣記憶體管理器 --> 透過 SnarkVM 內的垃圾收集和堆疊分配來執行記憶體管理功能。
4️⃣程式碼產生器 -->這是進階 snark 程式轉換為 snarkVM 指令集的地方。
5️⃣核心庫 --> 這部分由 snarkVM 儲存庫的關鍵元件組成，例如資料結構、雜湊演算法等。
現在，我們前往Aleo PM🫡
🔺AleoPM
➡️這相當於 Rust 中的 crate 和 Node 中的 NPM 套件。
➡️Aleo PM 代表 Aleo Package Manager，是 ZK 電路的 OG 註冊表，它是為構建在 Aleo 之上的 ZK dApp 添加功能的有用元件。
例如，這是安裝套件的方式，
在 rust --> Cargo add serde 中用於將 serde crate 安裝到專案中。
在leo --> leo中加入justice-league/u8u32用於安裝justice-league套件。
綜上所述，
➡️SnarkOS 相當於 Aleo 區塊鏈中的 EVM。
➡️AleoPM 是由不同元件組成的套件註冊表，可用於為基於 Leo 語言編寫的智慧合約添加新功能。
這就是今天的全部內容！
明天見，下一集，釋放 zk 的野獸 |阿里奧工作室🫡