An initial implementation of Shoat's protocol