Skip to content

Latest commit

 

History

History
15 lines (10 loc) · 489 Bytes

README.md

File metadata and controls

15 lines (10 loc) · 489 Bytes
Raw

Virgo++

Contributors: @wangnick2017, @dreamATD.

Introduction

This is an implementation of the paper, which build a GKR-based interactive proof for unlayered circuit. In terms of the polynomial commitment to achieve succinctness, we support virgo. We test our protocol with SHA circuits.

Requirement

  • C++14

Run

./run.sh