« 全部活动

此活动已过期。

StarkWare 启动开源 Stone Prover

2023-08-31

StarkWare 宣布于 8 月 31 日在 Apache 2.0 许可证下开源 Stone Prover（原 STARK Prover）。

明细：

日期：: 2023-08-31
活动分类:: 特別事件
网址：: https://medium.com/starkware/open-sourcing-the-battle-tested-stone-prover-1fe71aaab3b7