Moje uwagi na temat toru zkvm - Na torze zkvm, oprócz już zrealizowanego TGE Boundless @boundless_xyz i succinct @SuccinctLabs, są jeszcze trzy zkvm, które warto obserwować, wszystkie mają dobrą technologię, z czego pierwsze dwa poczyniły pewne postępy w zakresie scenariuszy i partnerstw, szczególnie Brevis. - Ostatni również ma ciekawe cechy technologiczne, ale nie ma zbyt wielu informacji do podzielenia się (w tym finansowanie itp.) Brevis zkvm @brevis_zk - Z wcześniej przedstawionego zkvm, tutaj nie będę się zbytnio rozwodzić. - Ma dobre rozszerzenie w zakresie scenariuszy biznesowych, współpracuje z wieloma wpływowymi partnerami, takimi jak linea. Axiom zkvm @axiom_xyz - Głównym celem jest openzkvm, z modułowym, dostosowywalnym zkvm w centrum. - Abstrakcyjnie definiuje zestaw instrukcji ISA (to znaczy, że w przyszłości można dostosować zestaw instrukcji, co ułatwia rozszerzanie), ma domyślną implementację riscv. - Algorytmy systemu dowodowego również nieustannie się zmieniają, on również zrealizował definicję i rozszerzenie tej części. - W zakresie rozwoju biznesu współpracuje z niektórymi czołowymi partnerami, takimi jak @worldcoin. - Finansowanie: 20 milionów dolarów, Paradigm i Standard Crypto prowadzą. - Valida zkvm @valida_xyz - To głównie zk instrukcje zoptymalizowane dla zk, pod wpływem RISC, z rdzeniem, który zapewnia szybszą prędkość dowodzenia, według jego własnych standardów osiągnął najszybszą prędkość dowodzenia (ten standard jest jego własny). - Przez narzędzie LLVM IR przekształca tradycyjne języki programowania w Valida ISA, co pozwala na pisanie programów zk w tradycyjnych językach programowania, takich jak rust, c++, go, c itp. - Finansowanie, nie widziałem żadnych informacji o finansowaniu. Ponadto, FHE, które jeszcze nie jest tak popularne jak zk, a jego ekosystem nie jest tak rozwinięty, znajduje się na etapie wczesnego rozwoju, należy do czołowych zastosowań kryptograficznych w blockchainie, wcześniej wspomniano o liderze Zama @zama_fhe.