feat: Centralize RiscZero constants definition by creating Rust bindings for py/ts.

[feltroidprime]

Currently, the same constants (CONTROL ROOT & CONTROL_ID) are defined in multiple locations.

In python :

garaga/hydra/garaga/starknet/groth16_contract_generator/parsing_utils.py

Lines 20 to 24 in 0738436

	# https://github.com/risc0/risc0-ethereum/blob/main/contracts/src/groth16/ControlID.sol
	RISC0_CONTROL_ROOT = 0x8CDAD9242664BE3112ABA377C5425A4DF735EB1C6966472B561D2855932C0469
	RISC0_BN254_CONTROL_ID = (
	0x04446E66D300EB7FB45C9726BB53C793DDA407A62E9601618BB43C5C14657AC0
	)

In rust :

garaga/tools/garaga_rs/src/calldata/full_proof_with_hints/groth16.rs

Lines 297 to 311 in 0738436

	pub fn get_risc0_constants() -> (BigUint, BigUint) {
	let risc0_control_root = BigUint::from_str_radix(
	"8CDAD9242664BE3112ABA377C5425A4DF735EB1C6966472B561D2855932C0469",
	16,
	)
	.unwrap();
	let risc0_bn254_control_id = BigUint::from_str_radix(
	"04446E66D300EB7FB45C9726BB53C793DDA407A62E9601618BB43C5C14657AC0",
	16,
	)
	.unwrap();
	(risc0_control_root, risc0_bn254_control_id)
	}

In typescript :

garaga/tools/npm/garaga_ts/src/node/starknet/groth16ContractGenerator/parsingUtils.ts

Lines 7 to 9 in 0738436

	//https://github.com/risc0/risc0-ethereum/blob/main/contracts/src/groth16/ControlID.sol
	const RISC0_CONTROL_ROOT = BigInt("0x8CDAD9242664BE3112ABA377C5425A4DF735EB1C6966472B561D2855932C0469");
	const RISC0_BN254_CONTROL_ID = BigInt("0x04446E66D300EB7FB45C9726BB53C793DDA407A62E9601618BB43C5C14657AC0");

Keep them in rust only and create a python / wasm binding so that updating them is easier.
Note : the tools/garaga_rs package has already multiple examples of python / wasm bindings.
The documentation on the gitbook has also useful infos on how to make the bindings although not complete.

[augustin-v]

Hello, I would love to work on this. I'm really excited about Garaga with the latest Noir compatibility update and would be honored to be a part of it.
I have just completed implementing a L1 gas prices sampling oracle to Katana in Rust so I believe to be able to tackle this issue. I'll make sure to communicate if I encounter any problems.

[augustin-v]

@feltroidprime Thank you, on it!