Saltar al contenido principal
buildradar
Sign in
Tema · zkp

zkp

Repositorios de código abierto monitorizados etiquetados con zkp, ordenados por estrellas.

Repositorios
10
Estrellas totales
13.014
Estrellas de media
1301
Proporción
0,00%

Temas que aparecen con frecuencia junto a zkp en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con zkp.

No hay repositorios nuevos con este tema en los últimos 90 días.

  • namada@namada-net

    Implementación en Rust de Namada, una L1 Proof-of-Stake para privacidad intercadena independiente del activo

    2513-1Variación de estrellas de los últimos 7 días
  • WTF-zk@WTFAcademy

    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
  • cairo@starkware-libs

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

    1904+2Variación de estrellas de los últimos 7 días
  • gnark@Consensys-Incorporated

    gnark es una librería zk-SNARK rápida que ofrece una API de alto nivel para diseñar circuitos. La biblioteca es de código abierto y se desarrolla bajo la licencia Apache 2.0

    1731+0Variación de estrellas de los últimos 7 días
  • snarkVM@ProvableHQ

    Una zkVM para computaciones privadas descentralizadas (DPC).

    1163+0Variación de estrellas de los últimos 7 días
  • jolt@a16z

    La zkVM más simple y extensible. Rápida y totalmente de código abierto de a16z crypto y colaboradores. ⚡

    1022+2Variación de estrellas de los últimos 7 días
  • firo@firoorg

    La criptomoneda centrada en la privacidad

    795+0Variación de estrellas de los últimos 7 días
  • gnark-crypto@Consensys-Incorporated

    gnark-crypto proporciona criptografía de curva elíptica y basada en emparejamientos en curvas BN, BLS12, BLS24 y BW6. También ofrece varios algoritmos (álgebra, criptografía) de especial interés para sistemas de pruebas de conocimiento cero.

    601+0Variación de estrellas de los últimos 7 días
  • cairo-vm@starkware-libs

    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
  • ovo@qntx

    Comportamiento de agente que se compila.

    567+0Variación de estrellas de los últimos 7 días
← Volver a temas