GuildOfWeavers / genSTARK

A library for generating zk-STARKs.
MIT License
142 stars 18 forks source link

Reduce proof size #18

Open bobbinth opened 4 years ago

bobbinth commented 4 years ago
  1. Add proof-of-work to Merkle trees
  2. Potentially refactor low-degree proof structure to avoid redundant sampling