Najświeższe badania nad ZK/FHE (związane również z niektórymi projektami kryptograficznymi) W najnowszym odcinku podcastu Anna rozmawia z profesorem Danem Boneh z Uniwersytetu Stanforda na temat postępów w badaniach nad ZK. Podsumowanie wywiadu: Niektóre potencjalne scenariusze ZK: 1) ZKML, problem ZKML polega na udowodnieniu poprawnego wykonania modelu na danych, co jest kierunkiem badań, nad którym zespół boundless @boundless_xyz @boundless_cn (@risczero) pracuje od dwóch lat. 2) Śledzenie treści i autentyczność: standard C2PA (śledzenie treści i autentyczność) pozwala aparatom na podpisywanie obrazów za pomocą wbudowanych kluczy, co dowodzi pochodzenia, czasu i konfiguracji obrazu. Teraz generatywna AI (taka jak DALL·E) również zaczyna dodawać dowody C2PA do obrazów, wskazując, że są one generowane przez AI. Oparte na siatkach, SNARK, FHE: - SNARK zbudowany na siatkach (zaleta siatek to bezpieczeństwo postkwantowe). - Praca Greyhounda zaproponowała schemat zobowiązań wielomianowych (PCS) oparty na siatkach. - Badania wykazały, że siatki radzą sobie bardzo dobrze w schematach składania, we współpracy z Binyi Chenem (założycielem/badaczem Espresso @EspressoSys) opracowano LatticeFold: schemat składania oparty na siatkach. - W dziedzinie FHE opracowywane są dedykowane chipy ASIC, które mają znacznie poprawić wydajność FHE do 2025 roku (możliwe przyspieszenie od 10 do 100 razy). - Firma Zama @zama_fhe bada możliwość uruchamiania SNARK w obliczeniach FHE, a struktura pierścienia LatticeFold jest kompatybilna z FHE, co czyni ją odpowiednią do tego scenariusza. Wersja chińska treści wywiadu: Oryginalny tekst podcastu: