Skip to content
@virtualsecureplatform

Virtual Secure Platform Development Team

VSP provides a toolchain to run encrypted C programs without decryption.

Pinned Loading

  1. kvsp kvsp Public

    A VSP; run your encrypted C code AS IS!

    Shell 119 7

  2. TFHEpp TFHEpp Public

    Pure C++ Ver. of TFHE.

    C++ 112 20

  3. Iyokan Iyokan Public

    Generic engine to evaluate logical circuits on homomorphic encryption

    C++ 83 1

Repositories

Showing 10 of 87 repositories
  • TFHEpp Public

    Pure C++ Ver. of TFHE.

    virtualsecureplatform/TFHEpp's past year of commit activity
    C++ 112 Apache-2.0 20 1 0 Updated Oct 15, 2026
  • Parameter-Selection Public

    To determine TFHE's parameter, run lwe-estimator.

    virtualsecureplatform/Parameter-Selection's past year of commit activity
    Python 1 0 0 0 Updated Oct 15, 2026
  • BGJ-Sieve-GPU Public Forked from zhaoziyu0008/BGJ-Sieve-GPU
    virtualsecureplatform/BGJ-Sieve-GPU's past year of commit activity
    C++ 1 GPL-3.0 3 0 0 Updated Oct 14, 2026
  • LLM-NTT-Examples Public
    virtualsecureplatform/LLM-NTT-Examples's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 8, 2026
  • FormalProof4FHE Public

    Lean proofs for FHE

    virtualsecureplatform/FormalProof4FHE's past year of commit activity
    Lean 0 MIT 0 0 0 Updated Oct 8, 2026
  • OpenPLL Public

    Open Fully Synthesizable PLL using OpenPDK and OpenEDA

    virtualsecureplatform/OpenPLL's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Sep 27, 2026
  • hpu_fpga Public Forked from zama-ai/hpu_fpga

    Zama's Homomorphic Processing Unit implementation on FPGA

    virtualsecureplatform/hpu_fpga's past year of commit activity
    SystemVerilog 0 33 0 0 Updated Sep 27, 2026
  • NGen Public

    NTT genertor based on SGen architecture

    virtualsecureplatform/NGen's past year of commit activity
    Scala 0 GPL-3.0 0 0 0 Updated Sep 27, 2026
  • FPT Public

    Open reimplementation of Fixed Point TFHE accelerator

    virtualsecureplatform/FPT's past year of commit activity
    Scala 0 Apache-2.0 0 0 0 Updated Sep 24, 2026
  • SGen Public Forked from fserre/SGen

    SGen is a generator capable of producing efficient hardware designs operating on streaming datasets.

    virtualsecureplatform/SGen's past year of commit activity
    VHDL 0 GPL-3.0 5 0 0 Updated Sep 22, 2026
View all repositories