Перевірна обчислення (VC) - це виконання конкретного навантаження таким чином, що генерує доказ його роботи, який може бути публічно перевірений без повторного виконання обчислення. Крім Bonsol, команда Anagram build досліджувала багато місць у просторі VC, проекти, такі як Jolt, zkllvm, spartan 2, Binius, - це ті, які ми відстежуємо, а також компанії, які працюють у просторі повністю гомоморфного шифрування (FHE).
5/8/2024, 3:10:14 PM