Function equix::solve

source ·
pub fn solve(challenge: &[u8]) -> Result<SolutionArray, Error>
Expand description

Search for solutions, using default EquiXBuilder options.

Each solve invocation returns zero or more solutions. Memory for the solver is allocated dynamically and not reused.

It’s normal for this to fail with a HashError::ProgramConstraints for a small fraction of challenge values. Those challenges must be skipped by solvers and rejected by verifiers.