Skip to content

@NebraZKP NEBRA

Change the repository type filter

All

    Repositories list

    22 repositories

    • upa

      Public
      UPA is the proof aggregation engine built by NEBRA team.
      Rust
      •
      MIT License
      •1•26•0•0•Updated Nov 26, 2024Nov 26, 2024

    • catchup-millionaire

      Public
      Proof of Salary World MiniApp
      TypeScript
      •0•1•0•0•Updated Nov 2, 2024Nov 2, 2024

    • ZKPVerification

      Public
      Python
      •
      MIT License
      •1•2•0•3•Updated Oct 20, 2024Oct 20, 2024

    • .github

      Public
      0•0•0•0•Updated Oct 17, 2024Oct 17, 2024

    • upa-sp1-project-template

      Public template
      Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
      Rust
      •
      MIT License
      •35•3•0•0•Updated Oct 15, 2024Oct 15, 2024

    • upa-risc0-foundry-template

      Public
      Template for integrating RISC Zero and Ethereum using Foundry, Bonsai and NEBRA UPA
      Rust
      •58•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • aHash

      Public
      aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
      Rust
      •
      Apache License 2.0
      •102•0•0•0•Updated Sep 16, 2024Sep 16, 2024

    • upa-risc0-ethereum

      Public
      Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
      Rust
      •
      Apache License 2.0
      •23•0•0•0•Updated Sep 14, 2024Sep 14, 2024

    • demo-app

      Public
      TypeScript
      •8•11•0•0•Updated Aug 16, 2024Aug 16, 2024

    • proof-aggregation-benchmarks

      Public
      A comparison of Groth16 proof aggregation in different ZKVMs
      Rust
      •0•3•0•0•Updated Aug 8, 2024Aug 8, 2024

    • test-zkvm

      Public
      Risczero tooling and performance experiments
      Rust
      •2•1•0•0•Updated Aug 2, 2024Aug 2, 2024

    • phase2-bn254

      Public
      Fork of Axiom-crypto's fork of Kobi Gurkan's phase2-bn254
      Rust
      •232•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • ZKSpendingDuneQueryRepo

      Public archive
      A template for creating repos to manage your Dune queries.
      Python
      •
      MIT License
      •42•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • Awesome-UPA

      Public
      0•1•0•0•Updated Jun 27, 2024Jun 27, 2024

    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      •
      MIT License
      •154•0•0•2•Updated Jun 20, 2024Jun 20, 2024

    • curves

      Public
      Implementations of popular elliptic curves
      Rust
      •
      Apache License 2.0
      •103•0•0•0•Updated May 23, 2024May 23, 2024

    • algebra

      Public
      Libraries for finite field, elliptic curve, and polynomial arithmetic
      Rust
      •
      Apache License 2.0
      •253•0•0•0•Updated May 21, 2024May 21, 2024

    • upa-sdk-reference

      Public
      HTML
      •0•0•0•0•Updated Mar 27, 2024Mar 27, 2024

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •142•0•0•0•Updated Jan 15, 2024Jan 15, 2024

    • brand-assets

      Public
      NEBRA Brand Asset
      0•5•0•0•Updated Jan 4, 2024Jan 4, 2024

    • criterion.rs

      Public
      Statistics-driven benchmarking library for Rust
      Rust
      •
      Apache License 2.0
      •311•0•0•0•Updated Oct 31, 2023Oct 31, 2023

    • tiny-keccak

      Public
      An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •50•0•0•0•Updated Oct 27, 2023Oct 27, 2023