Support ed25519 identities for circuit extension

Once #12498 (moved) is merged and #15055 (moved) is done, we can use ed25519 in circuit extension as documented in proposal 220.