succinctlabs / sp1

The fastest, most feature-complete zkVM for developers.
https://succinctlabs.github.io/sp1
Apache License 2.0
1.02k stars 334 forks source link

Chore: Executor checks for precompile invariant violations #1811

Open nhtyy opened 4 days ago