3 ms·
Fast, general purpose, succinct, and non-interactive proofs are pretty new, see SNARK (2013), STARK (2018) and Halo2 (2020). Even more interesting is zkVM like
by mattdesl 4y ago
Fast, general purpose, succinct, and non-interactive proofs are pretty new, see SNARK (2013), STARK (2018) and Halo2 (2020). Even more interesting is zkVM like RISC Zero. Practical and open source applications of FHE feels even more nascent than ZK.