zkInterface backend#279

Open

naure wants to merge 7 commits intodalek-cryptography:mainfrom

QED-it:zkinterface

Commits on May 8, 2019

R1CS backend for zkInterface circuits.
Aurélien Nicolas
committed

Commits on May 10, 2019

R1CSProof serialization.
Aurélien Nicolas
committed

Commits on Jun 19, 2019

Update zkinterface
Aurélien Nicolas
committed
Use rustfmt-preview
Aurélien Nicolas
committed

Commits on Jul 28, 2020

zkinterface: upgrade to 1.1.3
aurel
committed

Commits on Jul 29, 2020

zkinterface: executable prover and verifier
aurel
committed

Commits on Mar 8, 2021

Upgrade to zkinterface 1.3.3
aurel
committed