docs(protocol): add docs to randomized prover

[dionysuzx]

No description provided.

[codecov]

Codecov Report

Merging #13193 (23cd627) into random_proof_reward (97a266d) will decrease coverage by 0.06%.
The diff coverage is n/a.

@@                   Coverage Diff                   @@
##           random_proof_reward   #13193      +/-   ##
=======================================================
- Coverage                60.27%   60.21%   -0.06%     
=======================================================
  Files                      115      115              
  Lines                     3441     3441              
  Branches                   466      466              
=======================================================
- Hits                      2074     2072       -2     
- Misses                    1280     1282       +2     
  Partials                    87       87              

Flag	Coverage Δ		*Carryforward flag
bridge-ui	92.61% <ø> (ø)		Carriedforward from 97a266d
protocol	51.14% <ø> (-0.11%)	⬇️
relayer	65.15% <ø> (ø)		Carriedforward from 97a266d
ui	100.00% <ø> (ø)		Carriedforward from 97a266d

*This pull request uses carry forward flags. Click here to find out more.

Impacted Files	Coverage Δ
...ckages/protocol/contracts/L1/libs/LibVerifying.sol	9.61% <ø> (ø)
...ges/protocol/contracts/libs/LibAnchorSignature.sol	89.47% <0.00%> (-10.53%)	⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more