SD-JWT Commitments

This is a proposal for a hashing algorithm, that is ZKP friendly. In here we demonstrate the possibility of proving two claims to be equal using a classic Sigma protocol. The documentation can be found in the typst folder, or as a rendered PDF

NOTE: A experimental implementation with SD-JWT integration can be found in the heidi-sdk on the experimental/sdjwt-commitments branch (e.g. https://github.com/heidiverse/heidi-sdk/blob/4fec360237216114c007c13712e6281ae8c38b1f/heidi-credentials/rust/src/sdjwt.rs#L99 for test cases or https://github.com/heidiverse/heidi-sdk/blob/438c83781440314d1f357acb1b197b5b194b4e6a/heidi-credentials/src/commonTest/kotlin/ch/ubique/heidi/util/json/SdJwtTests.kt#L69).