You can express reading ASN.1 certificates in Simplicity so long as you have an additional explicit constraint on their depth. In practice one always exists, j

You can express reading ASN.1 certificates in Simplicity so long as you have an additional explicit constraint on their depth. In practice one always exists, just not explicitly, and instead implementations will randomly fail or disagree with each other where you exceed their hidden limits... limits which might arise out of their construction implicitly (and depend on the user's configuration) and not even be known to the program authors.