Saltar al contenido principal
buildradar
Sign in

starkware-libs/cairo

@starkware-libs

Cairo es el primer lenguaje Turing-completo para crear programas verificables para computación general.

Estrellas
1904
Bifurcaciones
774
Lenguaje
Rust
Licencia
Apache-2.0
Último push
hace 5 días
Rustzero-knowledge-proofscairostarknetzkpcomputational-integrity

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.