logos-storage/logos-storage-proofs-circuits
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-proofs-circuits.git synced 2026-01-03 05:53:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge c1885005095d1bfc167c250410bf2a4f88c5b7fe into 82de35640d2b05557143354c9a0f28ff81cd5fec

Browse Source
This commit is contained in:
Filip Pajic 2025-12-15 11:13:46 -06:00 committed by GitHub
commit db32c61594
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 26 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
workflow/README.md
View File

@ -72,16 +72,13 @@ Build the Nim cli proof input generator:
### Powers of tau setup
Either download a ready-to-use "powers of tau" setup file (section 7), or generate one
youself using `snarkjs` (sections 1..7), see the README here: <https://github.com/iden3/snarkjs>
To fetch the ptau file, you have next few options:
Size `2^21` (file size about 2GB) should be big enough:
1. Run the `ptau.sh` script inside the `workflow` folder. (You can modify the power of ptau inside `./params.sh` file on `PTAU_POWER` variable)
$ cd ..
$ mkdir -p ceremony
$ cd ceremony
$ wget https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_21.ptau
$ cd ../workflow
2. Manually download a ready-to-use "powers of tau" setup file (section 7), or generate one
youself using `snarkjs` (sections 1..7), see the README here: <https://github.com/iden3/snarkjs>
Size `2^21` (file size about 2GB) should be big enough:
Note: generating this yourself will probably take quite a long time.

1
workflow/params.sh
View File

@ -13,3 +13,4 @@ NSLOTS=11 # number of slots in the dataset
SLOTINDEX=3 # which slot we prove (0..NSLOTS-1)
NCELLS=512 # number of cells in this slot
PTAU_POWER=21

4
workflow/paths.sh
View File

@ -2,6 +2,8 @@
ORIG=`pwd`
source ./params.sh
NIMCLI_DIR="${ORIG}/../reference/nim/proof_input/"
PTAU_DIR="${ORIG}/../ceremony"
@ -10,7 +12,7 @@ CIRCUIT_PRF_DIR="${CIRCUIT_ROOT}/codex/"
CIRCUIT_POS_DIR="${CIRCUIT_ROOT}/poseidon2/"
CIRCUIT_LIB_DIR="${CIRCUIT_ROOT}/lib/"
PTAU_FILE="powersOfTau28_hez_final_21.ptau"
PTAU_FILE="powersOfTau28_hez_final_${PTAU_POWER}.ptau"
PTAU_PATH="${PTAU_DIR}/${PTAU_FILE}"
CIRCUIT_MAIN="proof_main"

17
workflow/ptau.sh Normal file
View File

@ -0,0 +1,17 @@
#!/bin/bash
source ./paths.sh
source ./params.sh
PTAU_URL=https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_${PTAU_POWER}.ptau
mkdir -p ${PTAU_DIR}
if [ -f ${PTAU_PATH} ]; then
echo "${PTAU_FILE} download already Completed!"
exit 0
else
echo "Downloading ${PTAU_FILE}"
curl ${PTAU_URL} --output ${PTAU_PATH} --progress-bar
echo "${PTAU_FILE} download Completed!"
fi