Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions light-circuits/.gitignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@

node_modules
test-ledger
ptau17
ptau15
15 changes: 15 additions & 0 deletions light-circuits/buildCircuit.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
#!/bin/bash -e
POWERS_OF_TAU=17 # circuit will support max 2^POWERS_OF_TAU constraints
if [ ! -f ./ptau$POWERS_OF_TAU ]; then
echo "Downloading powers of tau file"
curl -L https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_$POWERS_OF_TAU.ptau --create-dirs -o ./$POWERS_OF_TAU
fi
circom --r1cs --wasm circuits/transaction$1$2.circom -o ../light-sdk-ts/build-circuits/
npx snarkjs groth16 setup ../light-sdk-ts/build-circuits/transaction$1$2.r1cs ./ptau$POWERS_OF_TAU ../light-sdk-ts/build-circuits/tmp_transaction$1$2.zkey
npx snarkjs zkey contribute ../light-sdk-ts/build-circuits/tmp_transaction$1$2.zkey ../light-sdk-ts/build-circuits/transaction$1$2.zkey -e="321432151325321543215"
npx snarkjs zkey verify ../light-sdk-ts/build-circuits/transaction$1$2.r1cs ptau$POWERS_OF_TAU ../light-sdk-ts/build-circuits/transaction$1$2.zkey
npx snarkjs zkey export verificationkey ../light-sdk-ts/build-circuits/transaction$1$2.zkey verification_key_mainnet$2.json
node parse_pvk_to_bytes_254.js $2
rm verification_key_mainnet$2.json
rm ./transaction$1$2.r1cs
rm ./tmp_transaction$1$2.zkey
15 changes: 0 additions & 15 deletions light-circuits/buildCircuitMasp.sh

This file was deleted.

5 changes: 5 additions & 0 deletions light-circuits/circuits/transactionApp4.circom
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
pragma circom 2.0.0;
include "./transaction_app.circom";

// 2 in 2 out 3 assets (min to do a swap)
component main {public [root,inputNullifier, outputCommitment,publicAmount,extDataHash,feeAmount,mintPubkey, verifier, connectingHash]} = TransactionAccount(18, 4, 4, 0, 0, 1, 3, 2, 2);
Loading