Risc0 适配器

本包将 Risc0 版本 0.18 适配为 Sovereign SDK 的 zkVM。

限制

由于 0.18 版本中未包含 VM 中的递归，因此此适配器目前有限制。可以证明单个 "插槽"，但这些证明不能递归组合以实现桥接或超快同步（"用户递归"不受支持）。

警告

Risc0 目前处于积极开发中，尚未经过审计。此适配器也尚未经过审计。请勿在生产环境中部署

lib.rs:

RISC0 适配器

此 crate 包含一个适配器，允许 Risc0 作为 Sovereign SDK rollups 的证明系统使用。