(public-key (ecc (curve Ed25519) (q #9F56EAB5CE37AA15693C31F451140588240F259676C137E31C0CA70EC4D1B534#) ) )