a hybrid architecture for interactive verifiable computatio published presentations and documents on DocSlides.