Bất kể SNARKs, LFKN là một trong những viên ngọc quý nhất của khoa học máy tính lý thuyết. Sumcheck và arithmetization là một bước nhảy vọt khái niệm và kỹ thuật lớn.