1<?php
2require "base32.php";
3
4function publicKey2ipv6($publicKey)
5{
6	$publicKey = preg_replace('#.k$#', '', $publicKey);
7	$data = base32_decode($publicKey);
8	$data = hash('sha512', $data, true);
9	$data = hash('sha512', $data);
10	$data = substr($data, 0, 32);
11	return substr(preg_replace("#(.{4})#", "\$1:", $data), 0, -1);
12}
13