stark
Repositori open source terpantau bertanda stark, diurutkan berdasarkan bintang.
Topik terkait
Topik yang sering muncul berdampingan dengan stark di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda stark.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
RISC Zero adalah platform komputasi umum yang dapat diverifikasi dengan zero-knowledge, berbasis zk-STARKs dan mikroarsitektur RISC-V.
★ 2.185+5Perubahan bintang dalam 7 hari terakhir - #2
Tutorial pengantar Zero-Knowledge Proofs. Tutorial komprehensif Zero-Knowledge Proofs. #zk #WIP
★ 2.135+2Perubahan bintang dalam 7 hari terakhir - #3★ 770+2Perubahan bintang dalam 7 hari terakhir
- #4
cairo-vm adalah implementasi Rust dari Cairo VM. Cairo (CPU Algebraic Intermediate Representation) adalah bahasa pemrograman untuk menulis program yang dapat dibuktikan, di mana satu pihak dapat membuktikan kepada pihak lain bahwa komputasi tertentu dieksekusi dengan benar tanpa perlu pihak tersebut mengeksekusi ulang program yang sama.
★ 586-2Perubahan bintang dalam 7 hari terakhir
