rust prover

[kunxian-xia]

glue things together:

1. commit: pack -> inner PCS commit
2. open: jagged sumcheck -> jagged assist sumcheck -> inner PCS opening