dfaranha/virgo-plus

An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.

C++MIT