Skip to content

@virtualsecureplatform Virtual Secure Platform Development Team

All

    Repositories list

    87 repositories

    • FPT

      Public
      Open reimplementation of Fixed Point TFHE accelerator
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 18, 2026Sep 18, 2026

    • SGen

      Public
      SGen is a generator capable of producing efficient hardware designs operating on streaming datasets.
      VHDL
      •
      GNU General Public License v3.0
      •3•0•0•0•Updated Sep 16, 2026Sep 16, 2026

    • HOGE

      Public
      FPGA implementation of TFHE
      Scala
      •
      GNU Affero General Public License v3.0
      •1•9•0•0•Updated Sep 16, 2026Sep 16, 2026

    • OpenPLL

      Public
      Open Fully Synthesizable PLL using OpenPDK and OpenEDA
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 12, 2026Sep 12, 2026

    • TFHEpp

      Public
      Pure C++ Ver. of TFHE.
      cryptographyprivacycpp
      cryptographyprivacycpphomomorphic-encryptionhomomorphic-encryption-libraryfhetfhe
      C++
      •
      Apache License 2.0
      •20•113•1•0•Updated Sep 10, 2026Sep 10, 2026

    • LLM-NTT-Examples

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 9, 2026Sep 9, 2026

    • NGen

      Public
      NTT genertor based on SGen architecture
      Scala
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Sep 9, 2026Sep 9, 2026

    • Parameter-Selection

      Public
      To determine TFHE's parameter, run lwe-estimator.
      Python
      •0•1•0•0•Updated Sep 9, 2026Sep 9, 2026

    • FormalProof4FHE

      Public
      Lean proofs for FHE
      Lean
      •
      MIT License
      •0•0•0•0•Updated Sep 5, 2026Sep 5, 2026

    • kvsp

      Public
      A VSP; run your encrypted C code AS IS!
      cryptographycompilerprocessor
      cryptographycompilerprocessorhomomorphic-encryptionsecure-computation
      Shell
      •
      Other
      •7•118•0•0•Updated Sep 4, 2026Sep 4, 2026

    • llvm-cahp

      Public
      LLVM
      •
      Other
      •0•4•0•4•Updated Sep 4, 2026Sep 4, 2026

    • cahp-rt

      Public
      A runtime library for CAHP
      C
      •0•1•0•0•Updated Sep 4, 2026Sep 4, 2026

    • cahp-pearl

      Public
      Single cycle processor implementation for VSP
      Scala
      •0•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • cahp-ruby

      Public
      5-Stage pipeline processor implementation for VSP
      Scala
      •
      Apache License 2.0
      •0•2•0•0•Updated Sep 4, 2026Sep 4, 2026

    • Iyokan

      Public
      Generic engine to evaluate logical circuits on homomorphic encryption
      C++
      •
      Apache License 2.0
      •1•83•0•1•Updated Sep 4, 2026Sep 4, 2026

    • Chrysoberyl

      Public
      Second generation RISC-V processor for VSP written in Veryl
      SystemVerilog
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • Tangor

      Public
      PoC of StarPU based Iyokan
      Verilog
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • cuFHEpp

      Public
      TFHEpp flavor successor of cuFHE
      Cuda
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 4, 2026Sep 4, 2026

    • tfhe-rs

      Public
      TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
      Rust
      •
      Other
      •338•0•0•0•Updated Sep 1, 2026Sep 1, 2026

    • BGJ-Sieve-GPU

      Public
      C++
      •
      GNU General Public License v3.0
      •3•1•0•0•Updated Sep 1, 2026Sep 1, 2026

    • fplll-cuda-enumeration

      Public
      A cuda enumeration library that can be used by fplll, using the external enumerator API
      C++
      •2•0•0•0•Updated Sep 1, 2026Sep 1, 2026

    • fplll

      Public
      Lattice algorithms using floating-point arithmetic
      C++
      •
      GNU Lesser General Public License v2.1
      •114•0•0•0•Updated Sep 1, 2026Sep 1, 2026

    • AlveoV80FANduct

      Public
      OpenSCAD
      •
      MIT License
      •0•0•0•0•Updated Sep 1, 2026Sep 1, 2026

    • XRT

      Public
      Run Time for AIE and FPGA based platforms
      C
      •
      Other
      •549•0•0•0•Updated Aug 25, 2026Aug 25, 2026

    • hpu_fpga

      Public
      Zama's Homomorphic Processing Unit implementation on FPGA
      SystemVerilog
      •
      Other
      •34•0•0•0•Updated Jul 21, 2026Jul 21, 2026

    • BGJ-Sieve-AMX

      Public
      C++
      •
      GNU General Public License v2.0
      •4•0•0•0•Updated Jul 21, 2026Jul 21, 2026

    • GKlib

      Public
      A library of various helper routines and frameworks used by many of the lab's software
      C
      •
      Other
      •105•0•0•0•Updated Jul 18, 2026Jul 18, 2026

    • TFHEprus

      Public
      TFHEpp flavor reimplementation of TFHE in rust for VC
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 13, 2026Jun 13, 2026

    • Plonky3-recursion

      Public
      Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more
      Rust
      •
      Apache License 2.0
      •15•0•0•0•Updated Jun 13, 2026Jun 13, 2026

    • Alexandrite

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated May 24, 2026May 24, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.