ab1b6ce5fe
- 实现14个JIT优化函数（常量折叠、死代码消除、CSE、复制传播、函数内联、循环展开、循环不变代码外提、强度削弱、寄存器分配、指令调度、分支预测、指令合并、尾调用优化、代码压缩） - 实现3个安全检测器（异常检测、入侵检测、行为分析） - 扩展IR元数据支持11个优化标记 - 添加3个SecurityError类型（AnomalyDetected、IntrusionDetected、SuspiciousBehavior） - 所有33个测试通过 - 生产级实现，符合主网部署标准 - 无空壳函数，无TODO注释 |
||
|---|---|---|
| .. | ||
| src | ||
| Cargo.lock | ||
| Cargo.toml | ||
| ISSUE_017_COMPLETION.md | ||
| README.md | ||
README.md
NAC虚拟机（NVM）
NAC原生虚拟机，用于执行Charter智能合约。NVM是专为RWA（Real World Assets）设计的虚拟机，内置宪法验证、合规检查和资产操作指令。
特性
核心功能
- 完整的指令集: 栈操作、算术运算、逻辑运算、内存操作、控制流、RWA专用指令、宪法验证指令、合规检查指令
- 高级内存管理: 页式内存分配、标记-清除垃圾回收、内存安全检查、性能优化
- JIT编译器: 热点代码检测、多级优化、内联优化、常量折叠、死代码消除、编译缓存
- 沙箱安全系统: 权限策略、资源限制、安全监控、审计日志、安全报告生成
NAC专用指令
RWA资产操作
- AssetCreate: 创建RWA资产
- AssetTransfer: 转移资产所有权
- AssetQuery: 查询资产信息
- AssetBurn: 销毁资产
宪法验证
- ConstitutionCheck: 检查宪法合规性
- ClauseVerify: 验证特定条款
- RightsQuery: 查询权利信息
合规检查
- KycVerify: KYC身份验证
- AmlCheck: 反洗钱检查
- ComplianceReport: 生成合规报告
使用方法
基础执行
```rust use nac_nvm::{Executor, Opcode, Bytecode};
let mut executor = Executor::new(); let bytecode = Bytecode::new(vec![Opcode::Push, Opcode::Push, Opcode::Add]); let result = executor.execute(&bytecode)?; ```
使用JIT编译
```rust use nac_nvm::{JitCompiler, OptimizationLevel};
let mut jit = JitCompiler::new(); jit.set_optimization_level(OptimizationLevel::O2); let compiled = jit.compile(&bytecode)?; let result = compiled.execute()?; ```
使用沙箱
```rust use nac_nvm::{Sandbox, SecurityPolicy, ResourceLimits};
let mut sandbox = Sandbox::with_limits(policy, limits); sandbox.initialize()?; sandbox.pre_execution_check(Opcode::Push)?; let report = sandbox.generate_security_report(); ```
测试
```bash cargo test ```
33个测试全部通过！
更新日志
v1.0.0 (2026-02-18)
- ✅ 完整的指令集实现
- ✅ NAC专用RWA指令
- ✅ 高级内存管理
- ✅ JIT编译器
- ✅ 沙箱安全系统
- ✅ 33个测试全部通过
许可证
MIT License