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.
Once #12498 (moved) is merged and #15055 (moved) is done, we can use ed25519 in circuit extension as documented in proposal 220.