[BAZK] Contribution algorithm in gramine

[davibauer]

• [X] Phase 1 - New (in: size, batch; out: challenge)
• [X] Phase 1 - Contribute (in: challenge; out: response)
• [X] Phase 1 - Verify contribution (in: challenge, response; out: new_challenge)
• [X] Phase 1 - Beacon contribution (in: challenge; out: response)
• [X] Phase 1 - Prepare phase 2 (in: response; out: radix files)
• [X] Phase 2 - New (in: circuit.json; out: circuit.params)
• [X] Phase 2 - Contribute (in: circuit.params; out: new circuit.params)
• [x] Phase 2 - Entropy in Rust
• [X] Phase 2 - Verify contribution (in: circuit.json, circuit.params; out: new_circuit.params)
• [X] Change manifest
• [X] Refactor the project