Skip to content
@UCSB-PLSE

UCSB-PLSE

Popular repositories Loading

  1. solid-public solid-public Public

    Source code of Solid, the prototype type inference tool developed for the SolType paper

    Haskell 3 1

  2. Picus Picus Public

    Forked from chyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    Circom 3

  3. Coda Coda Public

    Coq 2

  4. zk-bug-finder-playground zk-bug-finder-playground Public

    Host code for zk-bug-finder workspace

    Rust 1

  5. defi-threat defi-threat Public

    Forked from manifoldfinance/defi-threat

    a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance

  6. noir-halo2-backend noir-halo2-backend Public

    Forked from Ethan-000/halo2_backend

    Rust

Repositories

Showing 10 of 10 repositories
  • noir-halo2-backend Public Forked from Ethan-000/halo2_backend
    Rust 0 Apache-2.0 13 0 0 Updated Mar 24, 2025
  • halo2-scaffold Public Forked from axiom-crypto/halo2-scaffold

    Basic scaffolding for setting up and writing a Halo2 ZK circuit

    Rust 0 67 0 0 Updated Feb 22, 2025
  • zk-bug-finder-playground Public

    Host code for zk-bug-finder workspace

    Rust 1 MIT 0 0 0 Updated Jun 1, 2024
  • Coda Public
    Coq 2 MIT 0 0 0 Updated Apr 17, 2024
  • ZKAP Public Forked from whbjzzwjxq/ZKAP
    Circom 0 MIT 4 0 0 Updated Jan 6, 2024
  • halo2-pse Public Forked from privacy-scaling-explorations/halo2
    Rust 0 529 0 0 Updated Dec 19, 2023
  • noir Public Forked from Mach-34/noir

    Noir is a domain specific language for zero knowledge proofs

    Rust 0 Apache-2.0 265 0 0 Updated Dec 18, 2023
  • Picus Public Forked from chyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    Circom 3 MIT 10 0 0 Updated Aug 18, 2023
  • solid-public Public

    Source code of Solid, the prototype type inference tool developed for the SolType paper

    Haskell 3 BSD-3-Clause 1 0 0 Updated Jan 26, 2022
  • defi-threat Public Forked from manifoldfinance/defi-threat

    a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance

    0 MPL-2.0 53 0 0 Updated Dec 22, 2021