Skip to content

Add e2e CI tests #36

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

Merged
matthew-a-klein merged 3 commits into from
Nov 28, 2025
Merged

Add e2e CI tests #36

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
63666f9
Remove binary files from repo
matthew-a-klein Nov 28, 2025
9095359
Add e2e CI
matthew-a-klein Nov 28, 2025
397bfd4
Uncomment go tests in CI
matthew-a-klein Nov 28, 2025
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
269 changes: 269 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,269 @@
name: Unified CI

on:
push:
branches: [ "main" ]
paths:
- "go/**"
- "gnark-solana/Cargo.toml"
- "gnark-solana/Cargo.lock"
- "gnark-solana/crates/**"
- "gnark-solana/example/**"
- "!**/README.md"
- "!**/readme.md"
pull_request:
branches: [ "main" ]
paths:
- "go/**"
- "gnark-solana/Cargo.toml"
- "gnark-solana/Cargo.lock"
- "gnark-solana/crates/**"
- "gnark-solana/example/**"
- "!**/README.md"
- "!**/readme.md"

jobs:
ci:
runs-on: ubuntu-latest

steps:
- name: Checkout code
uses: actions/checkout@v4

# -----------------------------
# Go Setup + Build + Tests
# -----------------------------
- name: Set up Go
uses: actions/setup-go@v4
with:
go-version: '1.24.2'

- name: Install Go dependencies
run: cd go && go mod tidy

- name: Build Go binary
run: cd go && go build -o sunspot -v . && mv sunspot ..

# (You can use it later — no artifacts needed)
# Example:
- name: Run built Go binary
run: ./sunspot

# -----------------------------
# Rust Setup
# -----------------------------
- name: Install Rust toolchain
uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
components: clippy, rustfmt

# -----------------------------
# Noir Setup + Build
# -----------------------------
- name: Set up Noir
uses: noir-lang/noirup@v0.1.2
with:
toolchain: v1.0.0-beta.13

- name: Build Noir contracts
run: |
PROJECTS=(
noir-samples/expressions/sum_a_b
noir-samples/expressions/square_equation
noir-samples/expressions/linear_equation
noir-samples/expressions/rock_paper_scissors
noir-samples/expressions/polynomial
noir-samples/expressions/lcchecker
noir-samples/black_box_functions/range
noir-samples/black_box_functions/keccak_f1600
noir-samples/black_box_functions/and
noir-samples/black_box_functions/xor
noir-samples/black_box_functions/sha256_compression
noir-samples/black_box_functions/sha256_hash
noir-samples/black_box_functions/blake2s
noir-samples/black_box_functions/blake3
noir-samples/black_box_functions/embedded_curve_add
noir-samples/black_box_functions/multiscalar_multiplication
noir-samples/black_box_functions/poseidon2
noir-samples/black_box_functions/ecdsa_secp256r1
noir-samples/black_box_functions/ecdsa_secp256k1_failing
noir-samples/black_box_functions/ecdsa_secp256k1
noir-samples/black_box_functions/aes128encrypt
noir-samples/black_box_functions/recursive_aggregation
noir-samples/memory
noir-samples/circuit_call
noir-samples/real_world/provekit_basic
noir-samples/zk_passport/exclusion_check
noir-samples/zk_passport/inclusion_check
noir-samples/zk_passport/age
noir-samples/zk_passport/expiry
noir-samples/zk_passport/sanctions
)

for project in "${PROJECTS[@]}"; do
echo "▶️ Building Noir project: $project"
cd "$project"
nargo compile
nargo execute || (echo "Tests failed in $project" && exit 1)
cd - > /dev/null
done

# -----------------------------
# Go Tests
# -----------------------------
- name: Build Test binaries
run: cd testgen && cargo run

- name: Run Go tests
run: cd go && go test ./... -timeout 0

- name: Run Go vet
run: cd go && go vet ./...

# -----------------------------
# Solana + Rust
# -----------------------------
- name: Install Node.js
uses: actions/setup-node@v4
with:
node-version: 24

- name: Install Solana toolchain
run: |
curl -sSfL https://raw.githubusercontent.com/solana-developers/solana-install/main/install.sh | bash
echo "$HOME/.local/share/solana/install/active_release/bin" >> $GITHUB_PATH

- name: Build Test Files

run: |
SUNSPOT_BIN="$GITHUB_WORKSPACE/sunspot"

PROJECTS=(
noir-samples/expressions/sum_a_b
noir-samples/black_box_functions/keccak_f1600
noir-samples/black_box_functions/xor
)

# Define the two output directories
OUTPUT_DIR1="$GITHUB_WORKSPACE/gnark-solana/crates/verifier-lib/src/test_files"
OUTPUT_DIR2="$GITHUB_WORKSPACE/gnark-solana/crates/verifier-bin/test_files"

# Ensure output directories exist
mkdir -p "$OUTPUT_DIR1" "$OUTPUT_DIR2"

for project in "${PROJECTS[@]}"; do
echo "▶️ Running Sunspot pipeline for: $project"

target_dir="$project/target"

# Ensure target directory exists
if [ ! -d "$target_dir" ]; then
echo "❌ No target directory found at $target_dir"
exit 1
fi

cd "$target_dir" || exit 1

# Required input files
JSON_FILE=$(ls *.json 2>/dev/null | head -n1)
GZ_FILE=$(ls *.gz 2>/dev/null | head -n1)

if [ -z "$JSON_FILE" ] || [ -z "$GZ_FILE" ]; then
echo "❌ Missing required input files in $target_dir"
echo "Found:"
ls -al
exit 1
fi

echo "▶️ Using:"
echo " JSON: $JSON_FILE"
echo " GZ: $GZ_FILE"

# Step 1: compile -> generates .ccs
echo "▶️ Step 1: sunspot compile"
"$SUNSPOT_BIN" compile "$JSON_FILE" || (echo "❌ sunspot compile failed" && exit 1)

# Find the generated .ccs file
CCS_FILE=$(ls *.ccs 2>/dev/null | head -n1)
if [ -z "$CCS_FILE" ]; then
echo "❌ No .ccs file generated by sunspot compile"
exit 1
fi

# Step 2: setup -> generates .vk
echo "▶️ Step 2: sunspot setup"
"$SUNSPOT_BIN" setup "$CCS_FILE" || (echo "❌ sunspot setup failed" && exit 1)

# Find the generated .pk file
PK_FILE=$(ls *.pk 2>/dev/null | head -n1)
if [ -z "$PK_FILE" ]; then
echo "❌ No .pk file generated by sunspot setup"
exit 1
fi

# Find the generated .vk file
VK_FILE=$(ls *.vk 2>/dev/null | head -n1)
if [ -z "$VK_FILE" ]; then
echo "❌ No .vk file generated by sunspot setup"
exit 1
fi

# Step 3: prove
echo "▶️ Step 3: sunspot prove"
"$SUNSPOT_BIN" prove "$JSON_FILE" "$GZ_FILE" "$CCS_FILE" "$PK_FILE" \
|| (echo "❌ sunspot prove failed" && exit 1)

# Find the generated .vk file
WITNESS_FILE=$(ls *.pw 2>/dev/null | head -n1)
if [ -z "$WITNESS_FILE" ]; then
echo "❌ No .pw file generated by sunspot setup"
exit 1
fi

# Find the generated .vk file
PROOF_FILE=$(ls *.proof 2>/dev/null | head -n1)
if [ -z "$PROOF_FILE" ]; then
echo "❌ No .proof file generated by sunspot setup"
exit 1
fi

echo "✔️ Completed Sunspot workflow for $project"

# Copy all generated files to the two output directories
cp -v "$VK_FILE" "$WITNESS_FILE" "$PROOF_FILE" "$OUTPUT_DIR1/"
cp -v "$VK_FILE" "$WITNESS_FILE" "$PROOF_FILE" "$OUTPUT_DIR2/"

echo "✔️ Completed Sunspot workflow for $project. Files copied to output directories."


cd - > /dev/null
done

cp -v "$GITHUB_WORKSPACE/gnark-solana/crates/verifier-bin/test_files/xor.vk" "$GITHUB_WORKSPACE/gnark-solana/crates/verifier-bin/default.vk"


- name: Build Solana program (.so)
working-directory: gnark-solana
run: cargo build-sbf

- name: Check formatting
working-directory: gnark-solana
run: cargo fmt --all -- --check

- name: Run clippy
working-directory: gnark-solana
run: cargo clippy --all-targets --all-features -- -D warnings

- name: Build (debug)
working-directory: gnark-solana
run: cargo build --all-targets --all-features

- name: Run Rust tests
working-directory: gnark-solana
run: cargo test --all --all-features --no-fail-fast --verbose

- name: Build (release)
working-directory: gnark-solana
run: cargo build --release --all-features
101 changes: 0 additions & 101 deletions .github/workflows/gnark-solana.yml
View file
Open in desktop

This file was deleted.

Loading
Loading