Closed jix closed 5 years ago
Right now varisat proofs are generated using serde and bincode and clause hashes always use 64bit. A custom encoding and dynamically adjusting the hash size should reduce the proof size, both compressed and uncompressed.
Right now varisat proofs are generated using serde and bincode and clause hashes always use 64bit. A custom encoding and dynamically adjusting the hash size should reduce the proof size, both compressed and uncompressed.