Content
@
0 reply
0 recast
2 reactions
头雁
@agere
有潜力的两个项目 一个是计算证明项目：Pi Squared。这个项目走了计算证明的偏锋，在底层的形式语义方向上和zk结合，这样就独立于计算机语言和虚拟机的指令集了。计算可信证明，如果在去中心化的场景还是有很多没有挖掘出来的需求。比如AI场景下，很有想象力 一个是目标是去中心化的openai：sentient
1 reply
0 recast
2 reactions
DrU
@druz
Sentient 拿了8500万刀融资，不知道这个性能到底怎么样
0 reply
0 recast
0 reaction
