热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲

Preston Evans
@sovereign_labs 首席技术官
Preston Evans 已转发
所以我相信,使用MCP时,包含延迟可以独立于验证者数量和地理分布。
但是,包含保证似乎仍然显著弱于你可以从单个排序者/提议者那里获得的*执行*保证。
我的意思是:
基本上在MCP中,你只能获得包含保证,这意味着你的交易将会在区块中,但并不能保证你的交易会被实际执行,因为可能会有一个在同一时段被另一个提议者确认的冲突交易。这个冲突必须被解决,可能会导致你的交易无效。
而使用单个排序者或领导者,排序者不仅可以给你提供区块中的包含保证,还可以保证你的交易将被执行并达到你想要的结果。它可以做到这一点,因为它可以全局查看和排序所有交易。
假设你在CLOB上交易,你发送了一个订单来提升出价。一个MCP提议者只能告诉你“是的,你在区块中”。而一个单一的排序者/提议者可以告诉你“是的,你在区块中,并且你的交易将被执行”。
这个执行保证比包含保证强大得多,而似乎你无法通过MCP获得它。
5.89K
RISC Zero在这里做得非常好,我可能更担心Rust标准库或LLVM的bug,而不是他们电路的健全性。不幸的是,这仍然留下了很多担忧的空间!
编译器bug很常见,而32位RISC-V是一个相当小众的目标。

Jacob2025年4月22日
这很难吗?是的
我们的健全性漏洞毁灭性大吗?是的
我们是否比你想象的更接近目标?是的
从第一天开始,也就是我们发布证明系统的同一天,@RiscZero 就开始了正式验证其 zkVM 的漫长过程。
最近我们推出了“Picus”,它在持续集成(CI)过程中数学证明了我们电路的确定性!根据 ZK-Security 的数据,这正是 ZK 系统中 96% 健全性漏洞的原因。
这一努力加上我们正在进行的一些其他工作,表明我们可以比大多数人想象的更快地实现一个可证明健全的 RISC-V zkVM。
1.28K
热门
排行
收藏
链上热点
X 热门榜
近期融资
最受认可