所有者 · starkware-libs

starkware-libs

starkware-libs 收录中的开源项目，按星标数排序。

共 4 个项目

#1
cairo ↗@starkware-libsRust
Cairo 是第一个用于为通用计算创建可证明程序的图灵完备语言。
★ 1,904+0近 7 天星标变化
#2
cairo-lang ↗@starkware-libsPython
★ 1,369+0近 7 天星标变化
#3
cairo-vm ↗@starkware-libsRust
cairo-vm 是 Cairo VM 的 Rust 实现。Cairo (CPU Algebraic Intermediate Representation) 是一种用于编写可验证程序的编程语言，其中一方可以向另一方证明某项计算已正确执行，而无需该方重新执行相同的程序。
★ 586+0近 7 天星标变化
#4
stwo ↗@starkware-libsRust
StarkWare's next gen prover
★ 503+1近 7 天星标变化