Nova: High-speed recursive zero-knowledge arguments from folding schemes - View it on GitHub