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 118 7

  2. TFHEpp TFHEpp Public

    Pure C++ Ver. of TFHE.

    C++ 113 20

  3. Iyokan Iyokan Public

    Generic engine to evaluate logical circuits on homomorphic encryption

    C++ 83 1

Repositories

Showing 10 of 87 repositories
  • 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 18, 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 3 0 0 Updated Sep 16, 2026
  • HOGE Public

    FPGA implementation of TFHE

    virtualsecureplatform/HOGE's past year of commit activity
    Scala 9 AGPL-3.0 1 0 0 Updated Sep 16, 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 12, 2026
  • TFHEpp Public

    Pure C++ Ver. of TFHE.

    virtualsecureplatform/TFHEpp's past year of commit activity
    C++ 113 Apache-2.0 20 1 0 Updated Sep 10, 2026
  • LLM-NTT-Examples Public
    virtualsecureplatform/LLM-NTT-Examples's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Sep 9, 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 9, 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 Sep 9, 2026
  • FormalProof4FHE Public

    Lean proofs for FHE

    virtualsecureplatform/FormalProof4FHE's past year of commit activity
    Lean 0 MIT 0 0 0 Updated Sep 5, 2026
  • kvsp Public

    A VSP; run your encrypted C code AS IS!

    virtualsecureplatform/kvsp's past year of commit activity
    Shell 118 7 0 0 Updated Sep 4, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…