Skip to content

ci: workflow to generate setupped circuit #7

ci: workflow to generate setupped circuit

ci: workflow to generate setupped circuit #7

Workflow file for this run

name: Generates circuit assets
on:
pull_request:
workflow_dispatch:
inputs:
maxDepth:
description: 'Maximum depth of the slot tree'
default: '32'
maxSlots:
description: 'Maximum number of slots'
default: '256'
cellSize:
description: 'Cell size in bytes'
default: '2048'
blockSize:
description: 'Block size in bytes'
default: '65536'
nSamples:
description: 'Number of samples to prove'
default: '5'
seed:
description: 'Seed for creating fake data'
default: '12345'
nSlots:
description: 'Number of slots in the dataset'
default: '11'
slotIndex:
description: 'Which slot we prove (0..NSLOTS-1)'
default: '3'
nCells:
description: 'Number of cells in this slot'
default: '512'
#
# ceremonyContribution:
# description: 'Input into the circuit ceremony setup'
# default: 'Let the Codex rock!'
env:
nim_version: 1.6.14
nodejs_version: 18.15
ceremony_source: https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_21.ptau
jobs:
build:
defaults:
run:
shell: bash --noprofile --norc -e -o pipefail {0}
# runs-on: buildjet-16vcpu-ubuntu-2204
runs-on: ubuntu-latest
timeout-minutes: 80
steps:
- name: Checkout sources
uses: actions/checkout@v3
- name: Setup Circom
uses: baptiste0928/cargo-install@v2
with:
crate: circom
git: https://github.com/iden3/circom.git
- name: Setup Nim
uses: jiro4989/setup-nim-action@v1
with:
nim-version: ${{ env.nim_version }}
- name: Setup Node.js
uses: actions/setup-node@v3
with:
node-version: ${{ env.nodejs_version }}
- name: Install SnarkJS
run: npm install -g snarkjs
- name: Setup CLI arguments
run: |
ENTROPY="asdf"
echo "Entropy: $ENTROPY"
echo "CLI_ARGS=--maxDepth=${{ github.event.inputs.maxDepth }} --maxSlots=${{ github.event.inputs.maxSlots }} --cellSize=${{ github.event.inputs.cellSize }} --blockSize=${{ github.event.inputs.blockSize }} --nSamples=${{ github.event.inputs.nSamples }} --entropy=$ENTROPY --seed=${{ github.event.inputs.seed }} --nSlots=${{ github.event.inputs.nSlots }} --slotIndex=${{ github.event.inputs.slotIndex }} --nCells=${{ github.event.inputs.nCells }}" >> $GITHUB_ENV
- name: Build CLI Proof Generator
run: |
cd reference/nim/proof_input/
nimble -y build -d:release cli
cd ../../../
#
# - name: Compile the circuit
# run: |
# mkdir -p workflow/build
# cd workflow/build
# ../../reference/nim/proof_input/cli $CLI_ARGS -v --circom="proof_main.circom"
# circom --r1cs --wasm --O2 -l../../circuit proof_main.circom
#
# - name: Circuit setup
# run: |
# wget -O ceremony.ptau -P .. ${{ env.ceremony_source }}
# NODE_OPTIONS="--max-old-space-size=8192" snarkjs groth16 setup proof_main.r1cs ../ceremony.ptau proof_main_0000.zkey
# mv proof_main_0000.zkey proof_main.zkey
# snarkjs zkey export verificationkey proof_main.zkey proof_main_verification_key.json
# snarkjs zkey export solidityverifier proof_main.zkey verifier.sol
# cd ..
#
# - name: Upload artifact
# uses: actions/upload-artifact@v3
# with:
# name: circuit-assets
# path: build/
# retention-days: 5