docs: fixed broken link#3344

operagxsasha wants to merge 2 commits intoo1-labs:mastero1-labs/proof-systems:masterfrom

operagxsasha:patch-2operagxsasha/proof-systems:patch-2Copy head branch name to clipboard