Add Arthur-Merlin protocol link
Add notes about composition to docs