Results for acvm_blackbox_solver

Found in 1 of 7 ecosystems · 3 matches across other registries

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

crates.io matches

3 matches · Rust

acvm_blackbox_solverv0.46.0

crates.io

A solver for the blackbox functions found in ACIR and Brillig

Abandoned. Last published 2 years ago.

provekit_acvm_blackbox_solverv1.0.0-beta.11-alpha.1

crates.io

A solver for the blackbox functions found in ACIR and Brillig

Maintained. Niche but maintained, actively maintained.

brilligv0.46.0

crates.io

Brillig is the bytecode ACIR uses for non-determinism.

Has 1 high-severity advisory. Verify a patched version exists before using.