Merlin-Arthur protocol

GPTKB entity