IntersectMBO / IntersectMBO/mithril
Core verifier feature
Open
cryptography :closed_lock_with_key:
optimization :hammer_and_wrench:
stale :calendar:
- Dominant language
- Rust
- Stars
- 154
- Forks
- 51
- Avg merge
- 1d 23h
- Merged PRs (30d)
- 38
Description
## Why
Core verifier functionality should be active only if it is needed.
## What
A feature should be defined to enable the usage of core verifier functionality.
Contributor guide
Assessment
This issue has not been assessed yet.