IPv6 Bitcoin-Certified Addresses. - Mathieu Ducroux (CoRR, 2023)