简明SP1，一种新型通用zkVM，允许为Rust代码或通过LLVM编译的任何其他语言的执行创建证明。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
@
极客观点
项目管理
HarmonyOS
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用@来通知其他用户。