STARL

BNBACK:Miden的stark证明系统-ODAILY

Miden证明系统架构miden是一个基于strark技术的zkvm实现方案。它的底层是基于winterfell这个zkp库来生成stark证明和对证明进行验证.

MEXCWEB:OKLink:做Web3.0的谷歌-ODAILY

在互联网时代,信息量激增,搜索不仅是一种重要应用,还是用户表达需求的最主要入口。Web2世界的谷歌作为行业公认的搜索技术领跑者,让人们可以自由获取信息并且证明了“免费可以盈利”.

[0:15ms0-10:609ms