Feature Request: Succinct SP1 Proof Enforcer (Experimental)

[kamescg]

Context

The Universal wallet uses the MetaMask Delegation Framework for handling wallet delegations, authorizations and intents. The framework includes 20+ enforcer smart contract modules for dictating transaction execution capabilities.

We want to extend those capabilities.

Scope

Create a new enforcer module that integrates with the Succinct SP1 zkVM stack.

The enforcer module should be named SP1ProofExperimentalEnforcer.sol and include complete unit test coverage.

Enforcer

The new SP1ProofExperimentalEnforcer.sol module should be able to consume proofs generated by SP1 prover network and enforce whether a transaction should be executed or not.

The primary goal is to create an interface between the Delegation Framework and Succinct prover network for more advanced use cases in the future. At the current moment it's unimportant as to what get's proven.

The SP1 Project Template provides a boilerplate for creating a new zero-knowledge proof project using Succinct.

Conclusion

Create a secure Delegation Framework Enforcer to consume proofs from the Succinct prover network.

This is an advanced task.

The full scope of the issue might not be captured in this ticket. Additional research and critical thinking is required. Do your best to think of all security concerns related to the implementation you choose.

Full unit test coverage is expected for a final implementation.

We increase bounty payouts for work that goes above and beyond!