Skip to content

@ucbsky UC Berkeley Sky Computing

Change the repository type filter

All

    Repositories list

    9 repositories

    • ucbsky-cs294-265-spring2026

      Public
      HTML
      •0•0•0•0•Updated Mar 29, 2026Mar 29, 2026

    • easycrypt-mod

      Public
      EasyCrypt: Computer-Aided Cryptographic Proofs
      OCaml
      •
      MIT License
      •62•0•0•0•Updated Jan 29, 2026Jan 29, 2026

    • whisper

      Public
      Whisper: Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs
      Rust
      •
      Apache License 2.0
      •1•3•0•0•Updated Jul 8, 2024Jul 8, 2024

    • icicle

      Public
      a GPU Library for Zero-Knowledge Acceleration
      C++
      •
      MIT License
      •165•1•0•0•Updated May 1, 2024May 1, 2024

    • gnark-crypto

      Public
      gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of…
      Go
      •
      Apache License 2.0
      •227•0•0•0•Updated Apr 30, 2024Apr 30, 2024

    • gnark

      Public
      gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
      Go
      •
      Apache License 2.0
      •516•0•0•0•Updated Jan 22, 2024Jan 22, 2024

    • osprelim

      Public
      0•0•0•0•Updated Nov 20, 2023Nov 20, 2023

    • yrrid-gpu

      Public
      Cuda
      •
      Apache License 2.0
      •10•0•0•0•Updated Sep 21, 2023Sep 21, 2023

    • elsa

      Public
      Secure Aggregation for Federated Learning with Malicious Actors
      Rust
      •3•28•0•0•Updated Dec 6, 2022Dec 6, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.