The Triptych protocol requires that the input set used in a proof statement have the exact size specified by the parameters. This is often not the case in practice, and results in a need to pad the input set. One typical way to do this is to simply repeat one of the elements (for example, the last in the set) until the required size is reached.
It may be beneficial to have the library support this, to avoid the user needing to do it themselves, which could increase risk.
Some use cases may not wish to have the set padded, so this should be optional and use a clearly-differentiated API if it is implemented.
The Triptych protocol requires that the input set used in a proof statement have the exact size specified by the parameters. This is often not the case in practice, and results in a need to pad the input set. One typical way to do this is to simply repeat one of the elements (for example, the last in the set) until the required size is reached.
It may be beneficial to have the library support this, to avoid the user needing to do it themselves, which could increase risk.
Some use cases may not wish to have the set padded, so this should be optional and use a clearly-differentiated API if it is implemented.