Back to pull request #90

Adds Noir library for BN SMT `verify`, `add`, `update`, `delete` #122

Sign in to view logs

Summary
Jobs
- style
- test
Run details
- Usage
- Workflow file

Annotations

10 warnings

Use Custom Errors instead of revert statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

The logs for this run have expired and are no longer available.