NotificationsYou must be signed in to change notification settings
Fork190
Star552

add output segment to the prover input info#10810

Workflow file for this run

	name:QA

	on:
	merge_group:
	push:
	branches:[ main, starkware-development ]
	pull_request:
	branches:[ '**' ]

	concurrency:
	group:${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress:${{ github.ref != 'refs/heads/main' }}

	env:
	CARGO_TERM_COLOR:always
	CAIRO_PROGRAMS_PATH:\|
	cairo_programs/*/.casm
	cairo_programs/*/.json
	!cairo_programs/manually_compiled/*
	examples/wasm-demo/src/array_sum.json
	TEST_COLLECT_COVERAGE:1
	PROPTEST_CASES:100

	jobs:

	# We need to use the same files across all jobs or else hashing will fail
	upload_proof_programs_symlinks:
	runs-on:ubuntu-24.04
	steps:
	-uses:actions/checkout@v4
	with:
	fetch-depth:0
	-name:Create proof_programs symlinks
	run:make create-proof-programs-symlinks
	-uses:actions/upload-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/*.cairo

	build-programs:
	needs:upload_proof_programs_symlinks
	strategy:
	matrix:
	# NOTE: we build cairo_bench_programs so clippy can check the benchmarks too
	program-target:
	-cairo_bench_programs
	-cairo_proof_programs
	-cairo_test_programs
	-cairo_1_test_contracts
	-cairo_2_test_contracts
	name:Build Cairo programs
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4
	with:
	fetch-depth:0

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch from cache
	uses:actions/cache@v4
	id:cache-programs
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:${{ matrix.program-target }}-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	restore-keys:${{ matrix.program-target }}-cache-

	# This is not pretty, but we need `make` to see the compiled programs are
	# actually newer than the sources, otherwise it will try to rebuild them
	-name:Restore timestamps
	uses:chetan/git-restore-mtime-action@v1

	-name:Python3 Build
	if:steps.cache-programs.outputs.cache-hit != 'true'
	&& matrix.program-target != 'cairo_1_test_contracts'
	&& matrix.program-target != 'cairo_2_test_contracts'
	uses:actions/setup-python@v4
	with:
	python-version:'3.9'
	cache:'pip'

	-name:Install cairo-lang and deps
	if:\|
	steps.cache-programs.outputs.cache-hit != 'true'
	&& matrix.program-target != 'cairo_1_test_contracts'
	&& matrix.program-target != 'cairo_2_test_contracts'
	run:pip install -r requirements.txt

	-name:Install cairo 1 compiler
	if:steps.cache-programs.outputs.cache-hit != 'true' && matrix.program-target == 'cairo_1_test_contracts'
	run:make build-cairo-1-compiler

	-name:Install cairo 2 compiler
	if:steps.cache-programs.outputs.cache-hit != 'true' && matrix.program-target == 'cairo_2_test_contracts'
	run:make build-cairo-2-compiler

	-name:Build programs
	if:steps.cache-programs.outputs.cache-hit != 'true'
	run:make -j ${{ matrix.program-target }}

	# NOTE: used to reduce the amount of cache steps we need in later jobs
	# TODO: remove this cache once the workflow finishes
	merge-caches:
	name:Merge Cairo programs cache
	runs-on:ubuntu-24.04
	needs:build-programs
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch test programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_test_programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true
	-name:Fetch cairo stwo exclusive programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_stwo_exclusive_programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true
	-name:Fetch proof programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_proof_programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true
	-name:Fetch bench programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_bench_programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true
	-name:Fetch test contracts (Cairo 1)
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_1_test_contracts-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true
	-name:Fetch test contracts (Cairo 2)
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_2_test_contracts-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Merge caches
	uses:actions/cache/save@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:all-programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}

	lint:
	needs:merge-caches
	name:Run Lints
	runs-on:ubuntu-24.04
	steps:
	-name:Install Rust
	uses:dtolnay/rust-toolchain@1.85.0
	with:
	components:rustfmt, clippy
	-name:Set up cargo cache
	uses:Swatinem/rust-cache@v2
	-name:Checkout
	uses:actions/checkout@v4

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Format
	run:make check-fmt


	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:all-programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Run clippy
	run:make clippy


	# NOTE: the term "smoke test" comes from electronics design: the minimal
	# expectations anyone has in their device is to not catch fire on boot.
	smoke:
	needs:merge-caches
	name:Make sure all builds work
	strategy:
	fail-fast:false
	matrix:
	crate:["vm", "cairo-vm-cli", "cairo1-run"]
	runs-on:ubuntu-24.04
	steps:
	-name:Install Rust
	uses:dtolnay/rust-toolchain@1.85.0
	with:
	targets:wasm32-unknown-unknown

	-name:Set up cargo cache
	uses:Swatinem/rust-cache@v2
	with:
	cache-on-failure:true

	-name:Install cargo-all-features
	uses:taiki-e/install-action@v2
	with:
	tool:cargo-all-features

	-name:Checkout
	uses:actions/checkout@v4

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:all-programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	# NOTE: we do this separately because --workspace operates in weird ways
	-name:Check all features (${{ matrix.crate }})
	run:\|
	cd ${{ matrix.crate }}
	cargo check-all-features
	cargo check-all-features --workspace --all-targets

	smoke-workspace:
	needs:merge-caches
	name:Make sure all builds work (workspace)
	strategy:
	fail-fast:false
	matrix:
	chunk:[1, 2, 3, 4, 5, 6]
	runs-on:ubuntu-24.04
	steps:
	-name:Install Rust
	uses:dtolnay/rust-toolchain@1.85.0
	with:
	targets:wasm32-unknown-unknown

	-name:Set up cargo cache
	uses:Swatinem/rust-cache@v2
	with:
	cache-on-failure:true

	-name:Install cargo-all-features
	uses:taiki-e/install-action@v2
	with:
	tool:cargo-all-features

	-name:Checkout
	uses:actions/checkout@v4

	-name:Download proof programs symlinks
	uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:all-programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Check all features (workspace)
	run:\|
	cargo check-all-features --n-chunks 6 --chunk ${{ matrix.chunk }} --workspace --all-targets

	smoke-no-std:
	needs:merge-caches
	name:Make sure all builds work (no_std)
	runs-on:ubuntu-24.04
	steps:
	-name:Install Rust
	uses:dtolnay/rust-toolchain@1.85.0
	with:
	targets:wasm32-unknown-unknown

	-name:Set up cargo cache
	uses:Swatinem/rust-cache@v2
	with:
	cache-on-failure:true

	-name:Checkout
	uses:actions/checkout@v4

	-name:Download proof programs symlinks
	uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:all-programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Check no-std
	run:\|
	cd ensure-no_std
	cargo check --no-default-features
	cargo check

	tests:
	needs:merge-caches
	strategy:
	fail-fast:false
	matrix:
	special_features:["", "extensive_hints", "mod_builtin", "cairo-0-secp-hints", "cairo-0-data-availability-hints"]
	target:[ test#1, test#2, test#3, test#4, test-no_std#1, test-no_std#2, test-no_std#3, test-no_std#4, test-wasm ]
	name:Run tests
	runs-on:ubuntu-24.04
	steps:
	-name:Install Rust
	uses:dtolnay/rust-toolchain@1.85.0
	with:
	components:llvm-tools-preview
	-name:Set up cargo cache
	uses:Swatinem/rust-cache@v2
	-name:Checkout
	uses:actions/checkout@v4

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:all-programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Install testing tools
	uses:taiki-e/install-action@v2
	with:
	tool:cargo-nextest@0.9.49,cargo-llvm-cov,wasm-pack

	-name:Install cairo 1 dependencies for running programs
	run:\|
	cd cairo1-run
	make deps

	-name:Run ${{ matrix.target }}
	run:\|
	# this splits the `test#1` into `test` and `1`
	export MATRIX_TARGET=${{ matrix.target }}
	export NAME=${MATRIX_TARGET%#*}
	export PARTITION=${MATRIX_TARGET#*#}
	# FIXME: we need to update the Makefile to do this correctly
	case ${NAME} in
	'test')
	cargo llvm-cov nextest --lcov --output-path lcov-${{ matrix.target }}-${{ matrix.special_features }}.info \
	--partition count:${PARTITION}/4 \
	--workspace --features "cairo-1-hints, test_utils, ${{ matrix.special_features }}"
	;;
	'test-no_std')
	cargo llvm-cov nextest --lcov --output-path lcov-${{ matrix.target }}-${{ matrix.special_features }}.info \
	--partition count:${PARTITION}/4 \
	--workspace --no-default-features --features "${{ matrix.special_features }}"
	;;
	'test-wasm')
	# NOTE: release mode is needed to avoid "too many locals" error
	wasm-pack test --release --node vm --no-default-features --features "${{ matrix.special_features }}"
	;;
	esac

	-name:Save coverage
	if:matrix.target != 'test-wasm'
	uses:actions/cache/save@v3
	with:
	path:lcov-${{ matrix.target }}-${{ matrix.special_features }}.info
	key:codecov-cache-${{ matrix.target }}-${{ matrix.special_features }}-${{ github.sha }}

	build-release:
	name:Build release binary for comparisons
	runs-on:ubuntu-24.04
	steps:
	-name:Install Rust
	uses:dtolnay/rust-toolchain@1.85.0
	-name:Set up cargo cache
	uses:Swatinem/rust-cache@v2
	-name:Checkout
	uses:actions/checkout@v4
	-name:Build
	run:cargo b --release -p cairo-vm-cli
	# We don't read from cache because it should always miss
	-name:Store in cache
	uses:actions/cache/save@v3
	with:
	key:cli-bin-rel-${{ github.sha }}
	path:target/release/cairo-vm-cli

	run-cairo-reference:
	strategy:
	matrix:
	include:
	-program-target:cairo_proof_programs
	trace-target:cairo_proof_trace
	nprocs:1
	-program-target:cairo_test_programs
	trace-target:cairo_trace
	nprocs:2
	name:Compute memory and execution traces with cairo-lang
	needs:build-programs
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4
	with:
	fetch-depth:0

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Check cache
	uses:actions/cache@v4
	id:trace-cache
	with:
	path:\|
	cairo_programs/*/.memory
	cairo_programs/*/.trace
	cairo_programs/*/.air_public_input
	cairo_programs/*/.air_private_input
	cairo_programs/*/.pie.zip
	key:${{ matrix.program-target }}-reference-trace-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	restore-keys:${{ matrix.program-target }}-reference-trace-cache-

	-name:Python3 Build
	if:steps.trace-cache.outputs.cache-hit != 'true'
	uses:actions/setup-python@v4
	with:
	python-version:'3.9'
	cache:'pip'

	-name:Install cairo-lang and deps
	if:steps.trace-cache.outputs.cache-hit != 'true'
	run:pip install -r requirements.txt

	-name:Fetch programs
	if:steps.trace-cache.outputs.cache-hit != 'true'
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:${{ matrix.program-target }}-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	# This is not pretty, but we need `make` to see the compiled programs are
	# actually newer than the sources, otherwise it will try to rebuild them
	-name:Restore timestamps
	if:steps.trace-cache.outputs.cache-hit != 'true'
	uses:chetan/git-restore-mtime-action@v1

	-name:Generate traces
	if:steps.trace-cache.outputs.cache-hit != 'true'
	run:make -j ${{ matrix.nprocs }} ${{ matrix.trace-target }}


	run-cairo-release:
	strategy:
	matrix:
	include:
	-program-target:cairo_proof_programs
	programs-dir:cairo_programs/proof_programs
	extra-args:'--proof_mode --air_public_input {program}.rs.air_public_input --air_private_input {program}.rs.air_private_input'
	-program-target:cairo_test_programs
	programs-dir:cairo_programs
	extra-args:'--cairo_pie_output {program}.rs.pie.zip'
	-program-target:cairo_stwo_exclusive_programs
	programs-dir:cairo_programs/stwo_exclusive_programs
	extra-args:'--cairo_pie_output {program}.rs.pie.zip'
	-program-target:cairo_stwo_exclusive_programs_proof_mode
	programs-dir:cairo_programs/stwo_exclusive_programs
	extra-args:'--proof_mode --air_public_input {program}.rs.air_public_input --air_private_input {program}.rs.air_private_input'
	name:Compute memory and execution traces with cairo-vm
	needs:[ build-programs, build-release ]
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-name:Fetch release binary
	uses:actions/cache/restore@v3
	with:
	key:cli-bin-rel-${{ github.sha }}
	path:target/release/cairo-vm-cli
	fail-on-cache-miss:true

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:${{ matrix.program-target }}-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Generate traces
	run:\|
	ls ${{ matrix.programs-dir }}/*.json \| cut -f1 -d'.' \| \
	xargs -P 2 -I '{program}' \
	./target/release/cairo-vm-cli '{program}'.json --layout starknet_with_keccak \
	--memory_file '{program}'.rs.memory --trace_file '{program}'.rs.trace \
	${{ matrix.extra-args }}
	-name:Update cache
	uses:actions/cache/save@v3
	with:
	path:\|
	cairo_programs/*/.memory
	cairo_programs/*/.trace
	cairo_programs/*/.air_public_input
	cairo_programs/*/.air_private_input
	cairo_programs/*/.pie.zip
	key:${{ matrix.program-target }}-release-trace-cache-${{ github.sha }}


	upload-coverage:
	name:Upload coverage results to codecov.io
	needs:tests
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-name:Fetch results for tests with stdlib (part. 1)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#1-.info
	key:codecov-cache-test#1--${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (part. 2)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#2-.info
	key:codecov-cache-test#2--${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (part. 3)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#3-.info
	key:codecov-cache-test#3--${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (part. 4)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#4-.info
	key:codecov-cache-test#4--${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests without stdlib
	uses:actions/cache/restore@v3
	with:
	path:lcov-test-no_std-.info
	key:codecov-cache-test-no_std--${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/extensive_hints; part. 1)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#1-extensive_hints.info
	key:codecov-cache-test#1-extensive_hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/extensive_hints; part. 2)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#2-extensive_hints.info
	key:codecov-cache-test#2-extensive_hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/extensive_hints; part. 3)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#3-extensive_hints.info
	key:codecov-cache-test#3-extensive_hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/extensive_hints; part. 4)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#4-extensive_hints.info
	key:codecov-cache-test#4-extensive_hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests without stdlib (w/extensive_hints)
	uses:actions/cache/restore@v3
	with:
	path:lcov-no_std-extensive_hints.info
	key:codecov-cache-test-no_std-extensive_hints-${{ github.sha }}
	fail-on-cache-miss:true

	-name:Fetch results for tests with stdlib (w/mod_builtin; part. 1)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#1-mod_builtin.info
	key:codecov-cache-test#1-mod_builtin-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/mod_builtin; part. 2)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#2-mod_builtin.info
	key:codecov-cache-test#2-mod_builtin-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/mod_builtin; part. 3)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#3-mod_builtin.info
	key:codecov-cache-test#3-mod_builtin-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/mod_builtin; part. 4)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#4-mod_builtin.info
	key:codecov-cache-test#4-mod_builtin-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests without stdlib (w/mod_builtin)
	uses:actions/cache/restore@v3
	with:
	path:lcov-no_std-mod_builtin.info
	key:codecov-cache-test-no_std-mod_builtin-${{ github.sha }}
	fail-on-cache-miss:true

	-name:Fetch results for tests with stdlib (w/cairo-0-secp-hints; part. 1)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#1-cairo-0-secp-hints.info
	key:codecov-cache-test#1-cairo-0-secp-hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/cairo-0-secp-hints; part. 2)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#2-cairo-0-secp-hints.info
	key:codecov-cache-test#2-cairo-0-secp-hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/cairo-0-secp-hints; part. 3)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#3-cairo-0-secp-hints.info
	key:codecov-cache-test#3-cairo-0-secp-hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests with stdlib (w/cairo-0-secp-hints; part. 4)
	uses:actions/cache/restore@v3
	with:
	path:lcov-test#4-cairo-0-secp-hints.info
	key:codecov-cache-test#4-cairo-0-secp-hints-${{ github.sha }}
	fail-on-cache-miss:true
	-name:Fetch results for tests without stdlib (w/cairo-0-secp-hints)
	uses:actions/cache/restore@v3
	with:
	path:lcov-no_std-cairo-0-secp-hints.info
	key:codecov-cache-test-no_std-cairo-0-secp-hints-${{ github.sha }}
	fail-on-cache-miss:true

	-name:Upload coverage to codecov.io
	uses:codecov/codecov-action@v3
	with:
	token:${{ secrets.CODECOV_TOKEN }}
	files:'*.info'
	fail_ci_if_error:true


	compare-memory-and-trace:
	strategy:
	matrix:
	program-target:[ cairo_proof_programs, cairo_test_programs ]
	name:Compare memory and execution traces from cairo-lang and cairo-vm
	needs:[ run-cairo-reference, run-cairo-release ]
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch traces for cairo-lang
	uses:actions/cache/restore@v3
	with:
	path:\|
	cairo_programs/*/.memory
	cairo_programs/*/.trace
	cairo_programs/*/.air_public_input
	cairo_programs/*/.air_private_input
	cairo_programs/*/.pie.zip
	key:${{ matrix.program-target }}-reference-trace-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Fetch traces for cairo-vm
	uses:actions/cache/restore@v3
	with:
	path:\|
	cairo_programs/*/.memory
	cairo_programs/*/.trace
	cairo_programs/*/.air_public_input
	cairo_programs/*/.air_private_input
	cairo_programs/*/.pie.zip
	key:${{ matrix.program-target }}-release-trace-cache-${{ github.sha }}
	fail-on-cache-miss:true

	-name:Run comparison script
	run:\|
	if [ ${{ matrix.program-target }} = cairo_proof_programs ]; then
	PROOF=proof_mode
	AIR_PUBLIC_INPUT=air_public_input
	AIR_PRIVATE_INPUT=air_private_input
	else
	PIE=pie
	fi
	./vm/src/tests/compare_vm_state.sh trace memory $PROOF $AIR_PUBLIC_INPUT $AIR_PRIVATE_INPUT $PIE

	wasm-demo:
	name:Build the wasm demo
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4
	with:
	fetch-depth:0

	-name:Python3 Build
	uses:actions/setup-python@v4
	with:
	python-version:'3.9'
	cache:'pip'

	-name:Install cairo-lang and deps
	run:\|
	pip install -r requirements.txt
	npm install -g wasm-pack

	-name:Build wasm-demo
	run:\|
	cairo-compile cairo_programs/array_sum.cairo --no_debug_info --output cairo_programs/array_sum.json
	cd examples/wasm-demo
	wasm-pack build --target=web

	compare-factorial-outputs-all-layouts:
	name:Compare factorial outputs for all layouts
	needs:[ build-programs, build-release ]
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-name:Python3 Build
	uses:actions/setup-python@v4
	with:
	python-version:'3.9'
	cache:'pip'

	-name:Install cairo-lang and deps
	run:pip install -r requirements.txt

	-name:Fetch release binary
	uses:actions/cache/restore@v3
	with:
	key:cli-bin-rel-${{ github.sha }}
	path:target/release/cairo-vm-cli
	fail-on-cache-miss:true

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_proof_programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Run script
	run:./vm/src/tests/compare_factorial_outputs_all_layouts.sh

	compare-outputs-dynamic-layouts:
	name:Compare outputs with dynamic layouts
	needs:[ build-programs, build-release, run-cairo-release ]
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-name:Python3 Build
	uses:actions/setup-python@v4
	with:
	python-version:'3.9'
	cache:'pip'

	-name:Install cairo-lang and deps
	run:pip install -r requirements.txt

	-name:Fetch release binary
	uses:actions/cache/restore@v3
	with:
	key:cli-bin-rel-${{ github.sha }}
	path:target/release/cairo-vm-cli
	fail-on-cache-miss:true

	-uses:actions/download-artifact@master
	with:
	name:proof_programs
	path:cairo_programs/proof_programs/

	-name:Fetch programs
	uses:actions/cache/restore@v3
	with:
	path:${{ env.CAIRO_PROGRAMS_PATH }}
	key:cairo_proof_programs-cache-${{ hashFiles('cairo_programs/*/.cairo', 'examples/wasm-demo/src/array_sum.cairo') }}
	fail-on-cache-miss:true

	-name:Fetch pie
	uses:actions/cache/restore@v3
	with:
	path:\|
	cairo_programs/*/.memory
	cairo_programs/*/.trace
	cairo_programs/*/.air_public_input
	cairo_programs/*/.air_private_input
	cairo_programs/*/.pie.zip
	key:cairo_test_programs-release-trace-cache-${{ github.sha }}
	fail-on-cache-miss:true

	-name:Run script
	run:./vm/src/tests/compare_outputs_dynamic_layouts.sh

	compare-run-from-cairo-pie-all-outputs:
	name:Compare all outputs from running Cairo PIEs
	needs:[ build-programs, build-release, run-cairo-release ]
	runs-on:ubuntu-24.04
	steps:
	-name:Checkout
	uses:actions/checkout@v4

	-name:Python3 Build
	uses:actions/setup-python@v4
	with:
	python-version:'3.9'
	cache:'pip'

	-name:Install cairo-lang and deps
	run:pip install -r requirements.txt

	-name:Fetch release binary
	uses:actions/cache/restore@v3
	with:
	key:cli-bin-rel-${{ github.sha }}
	path:target/release/cairo-vm-cli
	fail-on-cache-miss:true

	-name:Fetch traces for cairo-vm
	uses:actions/cache/restore@v3
	with:
	path:\|
	cairo_programs/*/.memory
	cairo_programs/*/.trace
	cairo_programs/*/.air_public_input
	cairo_programs/*/.air_private_input
	cairo_programs/*/.pie.zip
	key:cairo_test_programs-release-trace-cache-${{ github.sha }}
	fail-on-cache-miss:true

	-name:Run comparison
	run:./vm/src/tests/compare_all_pie_outputs.sh

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

add output segment to the prover input info#10810

Workflow file

add output segment to the prover input info

add output segment to the prover input info #10810

Uh oh!

Jobs

Run details

Workflow file for this run