This page has moved to https://erkantairi.com/#ipfe-updatable-ciphertexts.