1. 引言
开源代码见:
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