不论 SNARKs，LFKN 是理论计算机科学中最伟大的瑰宝之一。Sumcheck 和算术化是一个巨大的概念和技术飞跃。