stark
Repositorios de código abierto monitorizados etiquetados con stark, ordenados por estrellas.
Temas relacionados
Temas que aparecen con frecuencia junto a stark en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con stark.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
RISC Zero es una plataforma de computación general verificable de conocimiento cero basada en zk-STARKs y la microarquitectura RISC-V.
★ 2188+8Variación de estrellas de los últimos 7 días - #2
Tutorial introductorio de pruebas de conocimiento cero. Tutorial completo de Zero-Knowledge Proofs. #zk #WIP
★ 2134+0Variación de estrellas de los últimos 7 días - #3★ 770+0Variación de estrellas de los últimos 7 días
- #4
cairo-vm es una implementación en Rust de la máquina virtual Cairo. Cairo (CPU Algebraic Intermediate Representation) es un lenguaje de programación para escribir programas demostrables, donde una parte puede probar a otra que un cálculo específico se ejecutó correctamente sin necesidad de que esta parte vuelva a ejecutar el mismo programa.
★ 586+1Variación de estrellas de los últimos 7 días
