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
      •64•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
      •6•0•0•0•Updated Jan 6, 2024Jan 6, 2024

    • halo2-pse

      Public
      Rust
      •
      Other
      •584•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
      •387•0•0•0•Updated Dec 18, 2023Dec 18, 2023

    • Picus

      Public
      Automated verification of uniqueness property for ZKP circuits
      Circom
      •
      MIT License
      •20•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.