🧠 Logic: 📪 bech32_address/2 predicate

[bdeneux]

Implement #295 :

📝 Purpose

In the logic module, purpose an utility function to manipulate bech32 address.

🧪 Expected behavior

bech32_address/2 is a predicate that convert a bech32 encoded string into base64 bytes and give the address prefix or convert a prefix and base64 encoded bytes to bech32 encoded string. The signature is as follow:

bech32_address(-Address, +Bech32)
bech32_address(+Address, -Bech32)
bech32_address(+Address, +Bech32)

Where:

• Address is a pair containing HRP (Human-Readable Part) containing the address prefix and the list of integers between 0 and 255 (byte) that represent the base64 encoded bech32 address string. Represented like this : -(HRP, Address)
• Bech32 is an Atom or string representing the bech32 encoded string address

🎯 Example

bech32_address(-(Hrp, Address), 'okp415wn30a9z4uc692s0kkx5fp5d4qfr3ac7sj9dqn').

Give :

{
    "Hrp":     "okp4",
    "Address": "[163,167,23,244,162,175,49,162,170,15,181,141,68,134,141,168,18,56,247,30]",
}

[ccamel]

The implementation is quite good! Thanks for the job. ☺️

However, I have a few concerns about the error messages, their consistency (especially in relation to other predicates), and their formalization. But I think we can address this in a second step.

It would also be helpful to provide a thorough description of this predicate, as the generated documentation will be very useful for understanding the predicates supported by the module.

[ccamel]

Great job! Thanks 😎

[amimart]

Great! 💪

[bot-anik]

🎉 This PR is included in version 4.1.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀