Video

Unknown · 0:00

In this talk, two research engineers from ZisK, a newly released open-source zkVM, explain how they combine many per-component proofs into one. Their approach proves each component separately (VADCOP), checks the shar...

Read the full summary on tuber

Redirecting...