Redactable blockchains and polynomial equations | AIChainDay