This folder has three files to explain the proof verification phase and provides two exmpales.
Last updated 3 months ago