Erhan Tezcan c11e8db167 types todo

2023-03-12 23:50:42 +03:00

..

clean.sh

initial setup

2023-02-15 21:45:11 +03:00

compile.sh

types todo

2023-03-12 23:50:42 +03:00

genkeys.sh

initial setup

2023-02-15 21:45:11 +03:00

prove.sh

initial setup

2023-02-15 21:45:11 +03:00

ptau.sh

types todo

2023-03-12 23:50:42 +03:00

test.sh

initial setup

2023-02-15 21:45:11 +03:00

type.sh

types todo

2023-03-12 23:50:42 +03:00

verify.sh

initial setup

2023-02-15 21:45:11 +03:00

witness.sh

initial setup

2023-02-15 21:45:11 +03:00