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
  • zk-bug-finder-playground Public

    Host code for zk-bug-finder workspace

    UCSB-PLSE/zk-bug-finder-playground’s past year of commit activity
    Rust 1 MIT 0 0 0 Updated Jun 1, 2024
  • Coda Public
    UCSB-PLSE/Coda’s past year of commit activity
    Coq 2 MIT 0 0 0 Updated Apr 17, 2024
  • halo2-scaffold Public Forked from axiom-crypto/halo2-scaffold

    Basic scaffolding for setting up and writing a Halo2 ZK circuit

    UCSB-PLSE/halo2-scaffold’s past year of commit activity
    Rust 0 67 0 0 Updated Jan 15, 2024
  • noir-halo2-backend Public Forked from Ethan-000/halo2_backend
    UCSB-PLSE/noir-halo2-backend’s past year of commit activity
    Rust 0 Apache-2.0 13 0 0 Updated Jan 15, 2024
  • ZKAP Public Forked from whbjzzwjxq/ZKAP
    UCSB-PLSE/ZKAP’s past year of commit activity
    Circom 0 MIT 3 0 0 Updated Jan 6, 2024
  • halo2-pse Public Forked from privacy-scaling-explorations/halo2
    UCSB-PLSE/halo2-pse’s past year of commit activity
    Rust 0 526 0 0 Updated Dec 19, 2023
  • noir Public Forked from Mach-34/noir

    Noir is a domain specific language for zero knowledge proofs

    UCSB-PLSE/noir’s past year of commit activity
    Rust 0 Apache-2.0 251 0 0 Updated Dec 18, 2023
  • Picus Public Forked from chyanju/Picus

    Automated verification of uniqueness property for ZKP circuits

    UCSB-PLSE/Picus’s past year of commit activity
    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

    UCSB-PLSE/solid-public’s past year of commit activity
    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

    UCSB-PLSE/defi-threat’s past year of commit activity
    0 MPL-2.0 54 0 0 Updated Dec 22, 2021

Top languages

Loading…

Most used topics

Loading…