BulletproofVM：Avalanche上的zkVM

1. 引言

开源代码见：

• https://github.com/usmaneth/BulletproofVM（Rust）

BulletproofVM为Avalanche上的基于Bulletproofs证明系统构建的zkVM，其主要特性为：

• Maintains a state consisting of accounts with balances and assets
• Executes standard transactions for transferring assets between two accounts
• Executes smart contract transactions for executing arbitrary code on a contract account
• Executes multi-asset transactions for transferring multiple different assets between two accounts
• Executes decentralized governance transactions for proposing and voting on changes to the system
• Uses zero-knowledge (ZK) proofs to ensure the correctness and privacy of transactions