Proprietário · ProvableHQ

ProvableHQ

Repositórios de código aberto acompanhados de ProvableHQ, ordenados por estrelas.

4 repositórios

#1
leo ↗@ProvableHQRust
🦁 A linguagem de programação Leo. Uma linguagem de programação para aplicações formalmente verificadas e de conhecimento zero (Zero-Knowledge)
★ 4.821+0Variação de estrelas nos últimos 7 dias
#2
snarkOS ↗@ProvableHQRust
Um sistema operacional descentralizado para aplicações ZK
★ 4.524-1Variação de estrelas nos últimos 7 dias
#3
snarkVM ↗@ProvableHQRust
Uma zkVM para Computações Privadas Descentralizadas (DPC).
★ 1.163+0Variação de estrelas nos últimos 7 dias
#4
sdk ↗@ProvableHQTypeScript
SDK em Javascript e Typescript para Desenvolvimento de Aplicações Zero-Knowledge
★ 633+0Variação de estrelas nos últimos 7 dias