擁有者 · starkware-libs

starkware-libs

starkware-libs 收錄中的開源專案，依星數排序。

共 4 個專案

#1
cairo ↗@starkware-libsRust
Cairo 是第一個用於為通用計算建立可證明程式的圖靈完備語言。
★ 1,904+2近 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) 是一種用於編寫可驗證程式的程式語言，其中一方可以向另一方證明某項計算已正確執行，而無需該方重新執行相同的程式。
★ 585+0近 7 天星數變化
#4
stwo ↗@starkware-libsRust
StarkWare's next gen prover
★ 502+1近 7 天星數變化