Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Repository updated after toolchain distribution way update #61

Merged
merged 10 commits into from
Feb 19, 2024
Merged

Repository updated after toolchain distribution way update #61

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
24bd697
CMakeLists path to CircuitCompile updated.
nkaskov Dec 29, 2023
8853254
README updated.
nkaskov Jan 11, 2024
06f3315
Example changed to the arithmetics example.
nkaskov Jan 15, 2024
946c9d3
crypto3 submodule update
CblPOK-git Jan 15, 2024
ff4a575
add private input handling
CblPOK-git Jan 16, 2024
2f8dcbb
update CI
CblPOK-git Feb 7, 2024
4c9fa8a
add examples from zkllvm into CI
CblPOK-git Feb 7, 2024
30c1181
update run.sh
CblPOK-git Feb 16, 2024
71d9efb
update main.cpp
CblPOK-git Feb 16, 2024
0862f23
update readme and use run.sh in the CI
CblPOK-git Feb 16, 2024
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
200 changes: 192 additions & 8 deletions .github/workflows/main.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,8 @@ concurrency:

env:
TOOLCHAIN_VERSION: 0.1.8
CONTAINER_TMP: /opt/
BOOST_VERSION: "1.80.0"

jobs:
test-zkllvm-workflow:
Expand All @@ -25,14 +27,196 @@ jobs:
with:
submodules: recursive

- name: Compile a circuit in IR format
run: scripts/run.sh --verbose --docker compile
- name: Install boost
uses: MarkusJx/[email protected]
id: install-boost
with:
# A list of supported versions can be found here:
# https://github.com/MarkusJx/prebuilt-boost/blob/main/versions-manifest.json
boost_version: ${{ env.BOOST_VERSION }}
boost_install_dir: ${{ env.CONTAINER_TMP }}
platform_version: 22.04
toolset: gcc
arch: x86

- name: Install deb packages
run: |
echo 'deb [trusted=yes] http://deb.nil.foundation/ubuntu/ all main' | sudo tee -a /etc/apt/sources.list > /dev/null
sudo apt update
sudo apt install -y zkllvm proof-producer

- name: Print versions
run: |
assigner --version
clang-zkllvm --version
proof-generator-multi-threaded --version
proof-generator-single-threaded --version

- name: Clone zkllvm repository
run: git clone https://github.com/NilFoundation/zkLLVM.git

- name: Configure CMake
env:
BOOST_ROOT: "${{ steps.install-boost.outputs.BOOST_ROOT }}"
run: cmake -G "Unix Makefiles" -B ${ZKLLVM_BUILD:-build} -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER=clang-zkllvm -DCI_RUN=TRUE .

- name: Compile main.cpp circuit
run: make -C ${ZKLLVM_BUILD:-build} template

- name: Build main.cpp circuit file and assignment table
run: assigner -b build/src/template.ll -i src/public-input.json -p src/private-input.json --circuit template.crct --assignment-table template.tbl -e pallas

- name: Generate main.cpp proof
run: proof-generator-single-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin"

- name: Generate main.cpp proof single-threaded
run: proof-generator-single-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin"

- name: Generate main.cpp proof multi-threaded
run: proof-generator-multi-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin"

- name: Run run.sh
run: bash scripts/run.sh

- name: Compile arithmetics example
run: make -C ${ZKLLVM_BUILD:-build} arithmetics_cpp_example
- name: Build arithmetics circuit file and assignment table
run: assigner -b build/src/arithmetics_cpp_example.ll -i zkLLVM/examples/inputs/arithmetics.inp --circuit arithmetics_cpp_example.crct --assignment-table arithmetics_cpp_example.tbl -e pallas
- name: Generate arithmetics proof
run: proof-generator-single-threaded --circuit="arithmetics_cpp_example.crct" --assignment-table="arithmetics_cpp_example.tbl" --proof="arithmetics_cpp_example.bin"

- name: Compile ed25519_field_add example
run: make -C ${ZKLLVM_BUILD:-build} ed25519_field_add
- name: Build ed25519_field_add circuit file and assignment table
run: assigner -b build/src/ed25519_field_add.ll -i zkLLVM/examples/inputs/ed25519_field_add.inp --circuit ed25519_field_add.crct --assignment-table ed25519_field_add.tbl -e pallas
- name: Generate ed25519_field_add proof
run: proof-generator-single-threaded --circuit="ed25519_field_add.crct" --assignment-table="ed25519_field_add.tbl" --proof="ed25519_field_add.bin"

- name: Compile ed25519_curve_add example
run: make -C ${ZKLLVM_BUILD:-build} ed25519_curve_add
- name: Build ed25519_curve_add circuit file and assignment table
run: assigner -b build/src/ed25519_curve_add.ll -i zkLLVM/examples/inputs/ed25519_curve_add.inp --circuit ed25519_curve_add.crct --assignment-table ed25519_curve_add.tbl -e pallas
- name: Generate ed25519_curve_add proof
run: proof-generator-single-threaded --circuit="ed25519_curve_add.crct" --assignment-table="ed25519_curve_add.tbl" --proof="ed25519_curve_add.bin"

- name: Compile sha2_256 example
run: make -C ${ZKLLVM_BUILD:-build} sha2_256
- name: Build sha2_256 circuit file and assignment table
run: assigner -b build/src/sha2_256.ll -i zkLLVM/examples/inputs/sha2_256.inp --circuit sha2_256.crct --assignment-table sha2_256.tbl -e pallas
# - name: Generate sha2_256 proof
# run: proof-generator-single-threaded --circuit="sha2_256.crct" --assignment-table="sha2_256.tbl" --proof="sha2_256.bin"

- name: Compile merkle_poseidon_1prover example
run: make -C ${ZKLLVM_BUILD:-build} merkle_poseidon_1prover
- name: Build merkle_poseidon_1prover circuit file and assignment table
run: assigner -b build/src/merkle_poseidon_1prover.ll -i zkLLVM/examples/inputs/merkle_poseidon_1prover_public.inp -p zkLLVM/examples/inputs/merkle_poseidon_1prover_private.inp --circuit merkle_poseidon_1prover.crct --assignment-table merkle_poseidon_1prover.tbl -e pallas
- name: Generate merkle_poseidon_1prover proof
run: proof-generator-single-threaded --circuit="merkle_poseidon_1prover.crct" --assignment-table="merkle_poseidon_1prover.tbl" --proof="merkle_poseidon_1prover.bin"

- name: Compile private_input_array example
run: make -C ${ZKLLVM_BUILD:-build} private_input_array
- name: Build private_input_array circuit file and assignment table
run: assigner -b build/src/private_input_array.ll -i zkLLVM/examples/inputs/private_input_array_public.inp -p zkLLVM/examples/inputs/private_input_array_private.inp --circuit private_input_array.crct --assignment-table private_input_array.tbl -e pallas
- name: Generate private_input_array proof
run: proof-generator-single-threaded --circuit="private_input_array.crct" --assignment-table="private_input_array.tbl" --proof="private_input_array.bin"

- name: Compile poseidon example
run: make -C ${ZKLLVM_BUILD:-build} poseidon
- name: Build poseidon circuit file and assignment table
run: assigner -b build/src/poseidon.ll -i zkLLVM/examples/inputs/poseidon.inp --circuit poseidon.crct --assignment-table poseidon.tbl -e pallas
- name: Generate poseidon proof
run: proof-generator-single-threaded --circuit="poseidon.crct" --assignment-table="poseidon.tbl" --proof="poseidon.bin"

- name: Compile placeholder_verifier example
run: make -C ${ZKLLVM_BUILD:-build} placeholder_verifier
- name: Build placeholder_verifier circuit file and assignment table
run: assigner -b build/src/placeholder_verifier.ll -i zkLLVM/examples/inputs/placeholder_verifier.inp --circuit placeholder_verifier.crct --assignment-table placeholder_verifier.tbl -e pallas
# - name: Generate placeholder_verifier proof
# run: proof-generator-single-threaded --circuit="placeholder_verifier.crct" --assignment-table="placeholder_verifier.tbl" --proof="placeholder_verifier.bin"

- name: Compile bit_operations_shift_right example
run: make -C ${ZKLLVM_BUILD:-build} bit_operations_shift_right
- name: Build bit_operations_shift_right circuit file and assignment table
run: assigner -b build/src/bit_operations_shift_right.ll -i zkLLVM/examples/inputs/bit_operations/shift_right.inp --circuit bit_operations_shift_right.crct --assignment-table bit_operations_shift_right.tbl -e pallas
- name: Generate bit_operations_shift_right proof
run: proof-generator-single-threaded --circuit="bit_operations_shift_right.crct" --assignment-table="bit_operations_shift_right.tbl" --proof="bit_operations_shift_right.bin"

- name: Compile bit_operations_bit_decomposition example
run: make -C ${ZKLLVM_BUILD:-build} bit_operations_bit_decomposition
- name: Build bit_operations_bit_decomposition circuit file and assignment table
run: assigner -b build/src/bit_operations_bit_decomposition.ll -i zkLLVM/examples/inputs/bit_operations/bit_decomposition.inp --circuit bit_operations_bit_decomposition.crct --assignment-table bit_operations_bit_decomposition.tbl -e pallas
- name: Generate bit_operations_bit_decomposition proof
run: proof-generator-single-threaded --circuit="bit_operations_bit_decomposition.crct" --assignment-table="bit_operations_bit_decomposition.tbl" --proof="bit_operations_bit_decomposition.bin"

- name: Compile bit_operations_uint_division example
run: make -C ${ZKLLVM_BUILD:-build} bit_operations_uint_division
- name: Build bit_operations_uint_division circuit file and assignment table
run: assigner -b build/src/bit_operations_uint_division.ll -i zkLLVM/examples/inputs/bit_operations/uint_division.inp --circuit bit_operations_uint_division.crct --assignment-table bit_operations_uint_division.tbl -e pallas
- name: Generate bit_operations_uint_division proof
run: proof-generator-single-threaded --circuit="bit_operations_uint_division.crct" --assignment-table="bit_operations_uint_division.tbl" --proof="bit_operations_uint_division.bin"

- name: Compile bit_operations_uint_remainder example
run: make -C ${ZKLLVM_BUILD:-build} bit_operations_uint_remainder
- name: Build bit_operations_uint_remainder circuit file and assignment table
run: assigner -b build/src/bit_operations_uint_remainder.ll -i zkLLVM/examples/inputs/bit_operations/uint_remainder.inp --circuit bit_operations_uint_remainder.crct --assignment-table bit_operations_uint_remainder.tbl -e pallas
- name: Generate bit_operations_uint_remainder proof
run: proof-generator-single-threaded --circuit="bit_operations_uint_remainder.crct" --assignment-table="bit_operations_uint_remainder.tbl" --proof="bit_operations_uint_remainder.bin"

- name: Compile compare_lequal example
run: make -C ${ZKLLVM_BUILD:-build} compare_lequal
- name: Build compare_lequal circuit file and assignment table
run: assigner -b build/src/compare_lequal.ll -i zkLLVM/examples/inputs/compare/lequal.inp --circuit compare_lequal.crct --assignment-table compare_lequal.tbl -e pallas
# - name: Generate compare_lequal proof
# run: proof-generator-single-threaded --circuit="compare_lequal.crct" --assignment-table="compare_lequal.tbl" --proof="compare_lequal.bin"

- name: Compile compare_neq example
run: make -C ${ZKLLVM_BUILD:-build} compare_neq
- name: Build compare_neq circuit file and assignment table
run: assigner -b build/src/compare_neq.ll -i zkLLVM/examples/inputs/compare/neq.inp --circuit compare_neq.crct --assignment-table compare_neq.tbl -e pallas
- name: Generate compare_neq proof
run: proof-generator-single-threaded --circuit="compare_neq.crct" --assignment-table="compare_neq.tbl" --proof="compare_neq.bin"

- name: Compile compare_eq example
run: make -C ${ZKLLVM_BUILD:-build} compare_eq
- name: Build compare_eq circuit file and assignment table
run: assigner -b build/src/compare_eq.ll -i zkLLVM/examples/inputs/compare/eq.inp --circuit compare_eq.crct --assignment-table compare_eq.tbl -e pallas
- name: Generate compare_eq proof
run: proof-generator-single-threaded --circuit="compare_eq.crct" --assignment-table="compare_eq.tbl" --proof="compare_eq.bin"

- name: Compile validate_merkle_path_sha2_256 example
run: make -C ${ZKLLVM_BUILD:-build} validate_merkle_path_sha2_256
- name: Build validate_merkle_path_sha2_256 circuit file and assignment table
run: assigner -b build/src/validate_merkle_path_sha2_256.ll -i zkLLVM/examples/inputs/validate_merkle_path_sha2_256.inp --circuit validate_merkle_path_sha2_256.crct --assignment-table validate_merkle_path_sha2_256.tbl -e pallas
# - name: Generate validate_merkle_path_sha2_256 proof
# run: proof-generator-single-threaded --circuit="validate_merkle_path_sha2_256.crct" --assignment-table="validate_merkle_path_sha2_256.tbl" --proof="validate_merkle_path_sha2_256.bin"

- name: Compile eddsa_signature_verification example
run: make -C ${ZKLLVM_BUILD:-build} eddsa_signature_verification
- name: Build eddsa_signature_verification circuit file and assignment table
run: assigner -b build/src/eddsa_signature_verification.ll -i zkLLVM/examples/inputs/eddsa_signature_verification.inp --circuit eddsa_signature_verification.crct --assignment-table eddsa_signature_verification.tbl -e pallas
# - name: Generate eddsa_signature_verification proof
# run: proof-generator-single-threaded --circuit="eddsa_signature_verification.crct" --assignment-table="eddsa_signature_verification.tbl" --proof="eddsa_signature_verification.bin"

- name: Compile balances_tree example
run: make -C ${ZKLLVM_BUILD:-build} balances_tree
- name: Build balances_tree circuit file and assignment table
run: assigner -b build/src/balances_tree.ll -i zkLLVM/examples/inputs/balances_tree_public.inp -p zkLLVM/examples/inputs/balances_tree_private.inp --circuit balances_tree.crct --assignment-table balances_tree.tbl -e pallas
# - name: Generate balances_tree proof
# run: proof-generator-single-threaded --circuit="balances_tree.crct" --assignment-table="balances_tree.tbl" --proof="balances_tree.bin"

- name: Build a binary circuit and assignment table
run: scripts/run.sh --verbose --docker run_assigner
- name: Compile sha2_512 example
run: make -C ${ZKLLVM_BUILD:-build} sha2_512
- name: Build sha2_512 circuit file and assignment table
run: assigner -b build/src/sha2_512.ll -i zkLLVM/examples/inputs/sha2_512.inp --circuit sha2_512.crct --assignment-table sha2_512.tbl -e pallas
# - name: Generate sha2_512 proof
# run: proof-generator-single-threaded --circuit="sha2_512.crct" --assignment-table="sha2_512.tbl" --proof="sha2_512.bin"

- name: Calculate a proof
run: scripts/run.sh --verbose --docker prove
- name: Compile pallas_curve_examples_pallas_curve_add example
run: make -C ${ZKLLVM_BUILD:-build} pallas_curve_examples_pallas_curve_add
- name: Build pallas_curve_examples_pallas_curve_add circuit file and assignment table
run: assigner -b build/src/pallas_curve_examples_pallas_curve_add.ll -i zkLLVM/examples/inputs/pallas_curve_examples/pallas_curve_add.inp --circuit pallas_curve_examples_pallas_curve_add.crct --assignment-table pallas_curve_examples_pallas_curve_add.tbl -e pallas
- name: Generate pallas_curve_examples_pallas_curve_add proof
run: proof-generator-single-threaded --circuit="pallas_curve_examples_pallas_curve_add.crct" --assignment-table="pallas_curve_examples_pallas_curve_add.tbl" --proof="pallas_curve_examples_pallas_curve_add.bin"

- name: Build circuit parameters for EVM verifier endpoint
run: scripts/run.sh --verbose --docker build_circuit_params
# - name: Build circuit parameters for EVM verifier endpoint
# run: scripts/run.sh --verbose --docker build_circuit_params
4 changes: 3 additions & 1 deletion CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,14 +2,16 @@ cmake_minimum_required(VERSION 3.5 FATAL_ERROR)

list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}/cmake"
"${CMAKE_CURRENT_LIST_DIR}/cmake/modules/share/modules/cmake"
"/usr/share/zkllvm")
"/usr/lib/zkllvm/share/zkllvm")

include(CMConfig)
include(CMSetupVersion)
include(CircuitCompile)

cm_workspace(crypto3)

option(CI_RUN "Enable examples for CI run" FALSE)

macro(cm_find_package NAME)
if(NOT "${NAME}" MATCHES "^${CMAKE_WORKSPACE_NAME}_.*$" AND NOT "${NAME}" STREQUAL CM)
find_package(${ARGV})
Expand Down
Loading
Loading