AtHeartEngineer/spartan-ecdsa
1
0
Fork 0
mirror of https://github.com/AtHeartEngineer/spartan-ecdsa.git synced 2026-01-09 05:18:01 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add scripts to compile addr_membership and pubkey_membership

Browse Source
This commit is contained in:
Daniel Tehrani
2023-01-27 16:20:52 +09:00
parent 47d71c1e06
commit 72b83e96ec
6 changed files with 19 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/addr_membership_circuit.sh Normal file
View File

@@ -0,0 +1,2 @@
#!/bin/bash
sh ./scripts/compile_circuit.sh addr_membership 5

15
scripts/compile_circuit.sh Normal file
View File

@@ -0,0 +1,15 @@
CIRCUIT_NAME=$1
NUM_PUB_INPUTS=$2
BUILD_DIR=./packages/circuits/build/$CIRCUIT_NAME
mkdir -p $BUILD_DIR &&
circom ./packages/circuits/instances/$CIRCUIT_NAME.circom --r1cs --wasm --prime secq256k1 -o $BUILD_DIR &&
# Compile circom r1cs into binary
cargo run --release --bin gen_spartan_inst $BUILD_DIR/$CIRCUIT_NAME.r1cs $BUILD_DIR/$CIRCUIT_NAME.circuit $NUM_PUB_INPUTS &&
# Copy the circuit into the lib dir
LIB_CIRCUITS_DIR=./packages/lib/src/circuits
mkdir -p $LIB_CIRCUITS_DIR &&
cp $BUILD_DIR/*_js/*.wasm $LIB_CIRCUITS_DIR &&
cp $BUILD_DIR/*.circuit $LIB_CIRCUITS_DIR

11
scripts/eff_ecdsa_circuit.sh
View File

@@ -1,11 +0,0 @@
BUILD_DIR=./packages/circuits/build/eff_ecdsa
mkdir -p $BUILD_DIR &&
circom ./packages/circuits/instances/eff_ecdsa.circom --r1cs --wasm --prime secq256k1 -o $BUILD_DIR &&
# Copy the circuit into the lib dir
LIB_CIRCUITS_DIR=./packages/lib/src/circuits
mkdir -p $LIB_CIRCUITS_DIR &&
cp $BUILD_DIR/*_js/*.wasm $LIB_CIRCUITS_DIR &&
cp $BUILD_DIR/*.circuit $LIB_CIRCUITS_DIR &&
cargo run --bin gen_spartan_inst $BUILD_DIR/eff_ecdsa.r1cs $BUILD_DIR/eff_ecdsa.circuit 4

4
scripts/eff_ecdsa_to_addr_circuit.sh
View File

@@ -1,4 +0,0 @@
BUILD_DIR=./packages/circuits/build/eff_ecdsa_to_addr
mkdir -p $BUILD_DIR &&
circom ./packages/circuits/instances/eff_ecdsa_to_addr.circom --r1cs --wasm --prime secq256k1 -o $BUILD_DIR &&
cargo run --release --bin gen_spartan_inst $BUILD_DIR/eff_ecdsa_to_addr.r1cs $BUILD_DIR/eff_ecdsa_to_addr.circuit 4

11
scripts/membership_circuit.sh
View File

@@ -1,11 +0,0 @@
BUILD_DIR=./packages/circuits/build/membership
mkdir -p $BUILD_DIR &&
circom ./packages/circuits/instances/membership.circom --r1cs --wasm --prime secq256k1 -o $BUILD_DIR &&
# Copy the circuit into the lib dir
LIB_CIRCUITS_DIR=./packages/lib/src/circuits
mkdir -p $LIB_CIRCUITS_DIR &&
cp $BUILD_DIR/*_js/*.wasm $LIB_CIRCUITS_DIR &&
cp $BUILD_DIR/*.circuit $LIB_CIRCUITS_DIR &&
cargo run --release --bin gen_spartan_inst $BUILD_DIR/membership.r1cs $BUILD_DIR/membership.circuit 4

2
scripts/pubkey_membership_circuit.sh Normal file
View File

@@ -0,0 +1,2 @@
#!/bin/bash
sh ./scripts/compile_circuit.sh pubkey_membership 5