taikoxyz / taiko-mono

A based rollup. 🥁

https://taiko.xyz

MIT License

4.43k stars 2.08k forks source link

feat(protocol): add succint's on-chain verifier #17215

Open adaki2004 opened 2 weeks ago

adaki2004 commented 2 weeks ago

SP1VerifierBase's code directly copied from here: https://github.com/succinctlabs/sp1-project-template/blob/main/contracts/src/SP1Verifier.sol

Only changes:

renamed from SP1Verifier to SP1VerifierBase
pargma changed from .8.20 to .8.24

Template implementation used as a pattern: https://github.com/succinctlabs/sp1-project-template/blob/main/contracts/src/Fibonacci.sol

@Brechtpd please have a look before proceeding further, there is a at line73.

openzeppelin-code[bot] commented 2 weeks ago

feat(protocol): add succint's on-chain verifier

Generated at commit: ec6c179967b9ac93cd967ff3a1fe8b331fdb8256

🚨 Report Summary

Severity Level Results

Contracts Critical
High
Medium
Low
Note
Total 2
2
0
8
41
53

Dependencies Critical
High
Medium
Low
Note
Total 0
0
0
0
0
0

For more details view the full report in OpenZeppelin Code Inspector

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	2 2 0 8 41 53
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0