%0 Journal Article %A SoonHyeong Jeong %A Byeongtae Ahn %T A Study of Universal Zero-Knowledge Proof Circuit-based Virtual Machines that Validate General Operations & Reduce Transaction Validation %J Computer Science and Information Systems %D 2021 %V 18 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/CSIS_2021_18_2_a6/ %F CSIS_2021_18_2_a6