2020-10-08 12:43:05 +03:00
|
|
|
import {readR1cs} from "r1csfile";
|
2020-06-30 16:45:21 +03:00
|
|
|
|
2020-07-11 11:31:52 +03:00
|
|
|
export default async function r1csExportJson(r1csFileName, logger) {
|
2020-06-30 16:45:21 +03:00
|
|
|
|
2020-10-08 12:43:05 +03:00
|
|
|
const cir = await readR1cs(r1csFileName, true, true);
|
2020-06-30 16:45:21 +03:00
|
|
|
|
2020-07-11 11:31:52 +03:00
|
|
|
return cir;
|
2020-06-30 16:45:21 +03:00
|
|
|
}
|