Add tests with more than a single shard

Open
#52 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
35/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Stale
Tech stack
rust
Domain
testing

Research direction

Start by locating the main core proof test and its current single-shard configuration, then trace how the Rust and recursive verifiers are selected. Run the existing proof and e2e tests before changing coverage; done means CI exercises proofs with more than one shard through both verifier paths and reaches the relevant conditional checks.

Written by the indexing model from the issue text.

Description

Currently all tests (including e2e tests) only have one shard in the main core proof, leading to some verifier codepaths and conditional constraints/checks not being exercised by CI

Ideally, this test should exercise both the rust and the recursive verifiers

Dominant language
Rust
Stars
80
Forks
8
No merged PRs in 30d

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from argumentcomputer/sphinx

All issues in argumentcomputer/sphinx

Similar issues

More Rust issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.