* [ ] sealing * [ ] mining * [ ] mining Merkle proof generation (need to disassemble FRI commitments here) * [ ] implement stark for proof compression
