Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE

10/19/2020
by   Kotaro Matsuoka, et al.
0

We present Virtual Secure Platform (VSP), the first comprehensive platform that implements a multi-opcode general-purpose sequential processor over Fully Homomorphic Encryption (FHE) for Secure Multi-Party Computation (SMPC). VSP protects both the data and functions on which the data are evaluated from the adversary in a secure computation offloading situation like cloud computing. We proposed a complete processor architecture with a five-stage pipeline, which improves the performance of the VSP by providing more parallelism in circuit evaluation. In addition, we also designed a custom Instruction Set Architecture (ISA) to reduce the gate count of our processor, along with an entire set of toolchains to ensure that arbitrary C programs can be compiled into our custom ISA. In order to speed up instruction evaluation over VSP, CMUX Memory based ROM and RAM constructions over FHE are also proposed. Our experiments show that both the pipelined architecture and the CMUX Memory technique are effective in improving the performance of the proposed processor. We provide an open-source implementation of VSP which achieves a per-instruction latency of less than 1 second. We demonstrate that compared to the best existing processor over FHE, our implementation runs nearly 1,600× faster.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/09/2021

CryptoEmu: An Instruction Set Emulator for Computation Over Ciphers

Fully homomorphic encryption (FHE) allows computations over encrypted da...
research
01/03/2022

Characterizing the Computational and Memory Requirements of Virtual RANs

The virtualization of radio access networks (RANs) is emerging as a key ...
research
03/11/2021

MPU: Towards Bandwidth-abundant SIMT Processor via Near-bank Computing

With the growing number of data-intensive workloads, GPU, which is the s...
research
07/21/2021

Architecture-Specific Performance Optimization of Compute-Intensive FaaS Functions

FaaS allows an application to be decomposed into functions that are exec...
research
04/13/2019

Evaluation of the RIKEN Post-K Processor Simulator

For the purpose of developing applications for Post-K at an early stage,...
research
09/01/2020

RISC micrprocessor verification

Today's microprocessors have grown significantly in complexity and funct...
research
02/27/2021

Acceleration of probabilistic reasoning through custom processor architecture

Probabilistic reasoning is an essential tool for robust decision-making ...

Please sign up or login with your details

Forgot password? Click here to reset