Gurgen Arakelov
Results
6
issues of
Gurgen Arakelov
We would like to have 2 version of proof-generators: - for mina-state - for zkllvm proof types. This is becase current mina state is implemented not in placeholder-zkllvm form and...