nie sądzę, żeby wiele osób wiedziało, jak niesamowicie skomplikowana jest matematyka stojąca za dowodami ZK. Gdy dowody są 1000 razy droższe niż natywne, każda funkcja musi być starannie zoptymalizowana. Ta precyzyjna inżynieria to powód, dla którego zbudowanie gotowego do produkcji zkVM zajęło lata.
1,66K