Operator: Bump SP1 and Risc0 version + Retro-Compatible Operator

[PatStiles]

closes#1205

This PR:

• Bumps the risc0 and sp1 verifier versions of operators.
• Provides retro-compatibility for each version. If proof verification for SP1 and Risc0 between the current and old ('_old') verifier versions fails within the operator it will try verifying using the older version of SP1/Risc0 before returning false.
• Changes the prompt library in the quiz example from dialoguer -> inquire to accomodate a dependency conflict.

To Test:

Verify network bindings works on a local network:

• make test_risc_zero_go_bindings_macos
• make test_sp1_go_bindings_macos
• run local testnet and confirm you can submit sp1 and risc0 proofs. via
  make batcher_send_risc0_task
make batcher_send_sp1_task
• confirm examples work:
  cd examples/zkquiz/quiz/script && cargo run -r
cd examples/validating-public-input/risc_zero/fibonacci_proof_generator && cargo run -r

Verify Retro Compatiblility of Operator Verifiers:

To verify operator retro-compatibility we deploy the rest of infrastructure of Aligned and boot the retro-compatible operator. This tests that network retro-compatible operator can verify SP1/Risc0 proofs from both verifier versions.

Note:
Commands suffixed with _old indicate the deprecated version of the SP1/Risc0 verifier that is currently running on testnet

To test this have two repos of aligned_layer one set to testnet and one to 1205-bump-sp1-and-risc0-version.

In testnet repo:

go clean
go mod tidy
make go_deps
make deps

• Then you must run anvil, aggregator and batcher:

make anvil_start_with_block_time

make aggregator_start

make batcher_start_local

In 1205-bump-sp1-and-risc0-version repo:

make deps

• Then you can run operator

make operator_register_and_start

• Send proof from the older SP1 and Risc0 versions from the testnet repo.

make batcher_send_burst_groth16
make batcher_send_sp1_burst
make batcher_send_risc0_burst

Observe the Risc0 proof verification failed. and SP1 proof verification failed. logs are emitted and the operator successfully verifying the proofs from the old SP1/Risc0 verifiers. If you send a proof from the latest version of SP1/Risc0 you should notice its verification fails in the batcher.

• Keep the operator running on the 1205-bump-sp1-and-risc0-version repo.
• In the testnet repo, kill the batcher.
• Navigate to the 1205-bump-sp1-and-risc0-version and start the batcher within the repo.
• Send proof from both the SP1 and Risc0 versions from the 1205-bump-sp1-and-risc0-version repo.

make batcher_send_sp1_burst
make batcher_send_risc0_burst

Observe the operator successfully verifying the proofs from the new SP1/Risc0 verifiers. If you send a proof from the older version of SP1/Risc0 you should notice its verification fails in the batcher.

[MarcosNicolau]

Tested on my machine.

[Oppen]

Looks OK, will test later today.

[Oppen]

Works on my machine.

[uri-99]

Operators should have retrocompatibility. So we should have 2 ffis and each operator check with both

[uri-99]

We don't need to push old proof generators. To test we can checkout previous branch. I would avoid pushing this because this pr is 87 files, and a very big portion of these are the old proof generators

[uri-99]

why?

[MarcosNicolau]

Other than the minor comments, I tested on Linux and everything worked as expected!

[MarcosNicolau]

You should add the try-catch.

[MarcosNicolau]

See #1174.

[MarcosNicolau]

If it is too much work now, maybe don't.

[MarcosNicolau]

Ditto.

[MarcosNicolau]

I think you uploaded this by err.

[PatStiles]

@MarcosNicolau@uri-99 I am closing this in favor or #1307 due to merge issues