Reduce public inputs in PoSt

Assign

Category

DRI

Nicola

Dependency

Description

Goal

implementationpractical application

Impact

Priority (Nicola)

Size

Solution?

Status

icebox

people

who requested it

A main reason for which the SNARK circuits for PoSt are large (as previously discussed during the audit), is that we are not optimizing for reducing public inputs.

There are two optimizations:

• Better bit-packing for the challenges
• Build a merkle tree for the sectors in a partition (this will increase the number of constraints)

This change drastically reduce the number of inputs and it would make VerifyPoSt much faster