stark
Repositórios de código aberto acompanhados marcados com stark, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de stark no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com stark.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
O RISC Zero é uma plataforma de computação geral verificável de零-conhecimento (zero-knowledge) baseada em zk-STARKs e na microarquitetura RISC-V.
★ 2.188+8Variação de estrelas nos últimos 7 dias - #2
Tutorial introdutório sobre provas de conhecimento zero. Tutorial abrangente de Zero-Knowledge Proofs. #zk #WIP
★ 2.134+0Variação de estrelas nos últimos 7 dias - #3★ 770+0Variação de estrelas nos últimos 7 dias
- #4
cairo-vm é uma implementação em Rust da Cairo VM. Cairo (CPU Algebraic Intermediate Representation) é uma linguagem de programação para escrever programas prováveis, onde uma parte pode provar a outra que um determinado cálculo foi executado corretamente sem a necessidade de essa parte reexecutar o mesmo programa.
★ 586+1Variação de estrelas nos últimos 7 dias
