Contracts optimizations

[nulltea]

Changes

Remove committee_poseidon from pub_input_commitment

• Simplifies input conversion logic; poseidon commitment never needs to be used as bytes, not in contracts or circuits.
• Reduced error area - no need to care about endianness (this was an issue when deploying Spectre)
• More optimal both in terms of circuit constraints and contract gas usage:

Benchmarks:

Circuit

Before:

Gate Chip | Phase 0: 11198094 advice cells
Total 2062 fixed cells
Total range check advice cells to lookup per phase: [1109838, 0, 0]

Now:

Gate Chip | Phase 0: 11139416 advice cells
Total 2062 fixed cells
Total range check advice cells to lookup per phase: [1104230, 0, 0]

Reduction of 58k cells

Contracts

Before:

cumulative_gas_used: 29067

Now:

cumulative_gas_used: 28728

[willemolding]

Love your work ❤️