Commits on Jun 13, 2023

1. feat: add compress to compiler …

   This commit introduces `Compiler::compress` and `Compiler::decompress`, two
   functions that will create a compressed representation of a circuit that
   can be used to generate prover and verifier keys.
   
   The compression strategy takes advantage of the fact that circuit
   representations are sparse; meaning, most of the scalars are zeroes. We
   also have a higher incidence of `1` and `-1`.
   
   This will result in expressive gains in terms of storage. For instance,
   a `2^16` circuit can be compressed into roughly 250Kb.

   

   vlopes11 committed Jun 13, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for c4fda09
   • Browse repository at this point

   Copy the full SHA

   c4fda09 View commit details

   Browse the repository at this point in the history