Ongeacht SNARKs, is LFKN een van de grootste juwelen van de theoretische informatica. Sumcheck en arithmetisering waren een enorme conceptuele en technische sprong.