Skip to content

@UCSB-PLSE UCSB-PLSE

Change the repository type filter

All

    Repositories list

    10 repositories

    • noir-halo2-backend

      Public
      Rust
      •
      Apache License 2.0
      •14•0•0•0•Updated Jul 30, 2025Jul 30, 2025

    • halo2-scaffold

      Public
      Basic scaffolding for setting up and writing a Halo2 ZK circuit
      Rust
      •66•0•0•0•Updated Feb 22, 2025Feb 22, 2025

    • zk-bug-finder-playground

      Public
      Host code for zk-bug-finder workspace
      Rust
      •
      MIT License
      •0•1•0•0•Updated Jun 1, 2024Jun 1, 2024

    • Coda

      Public
      Coq
      •
      MIT License
      •0•2•0•0•Updated Apr 17, 2024Apr 17, 2024

    • ZKAP

      Public
      Circom
      •
      MIT License
      •4•0•0•0•Updated Jan 6, 2024Jan 6, 2024

    • halo2-pse

      Public
      Rust
      •
      Other
      •548•0•0•0•Updated Dec 19, 2023Dec 19, 2023

    • noir

      Public
      Noir is a domain specific language for zero knowledge proofs
      Rust
      •
      Apache License 2.0
      •318•0•0•0•Updated Dec 18, 2023Dec 18, 2023

    • Picus

      Public
      Automated verification of uniqueness property for ZKP circuits
      Circom
      •
      MIT License
      •16•3•0•0•Updated Aug 18, 2023Aug 18, 2023

    • solid-public

      Public
      Source code of Solid, the prototype type inference tool developed for the SolType paper
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•0•Updated Jan 26, 2022Jan 26, 2022

    • defi-threat

      Public
      a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance
      Mozilla Public License 2.0
      •53•0•0•0•Updated Dec 22, 2021Dec 22, 2021