feat(prover): sp1 onchain verifier #30
Annotations
1 error and 10 warnings
check-for-typos
Process completed with exit code 2.
|
check-for-typos:
README.md#L157
"avaliable" should be "available".
|
check-for-typos:
README.md#L161
"sciprt" should be "script".
|
check-for-typos:
provers/sp1/contracts/lib/forge-std/src/StdAssertions.sol#L598
"Inhertied" should be "Inherited".
|
check-for-typos:
provers/sp1/driver/src/gen_verifier.rs#L15
"FIXUTRE" should be "FIXTURE".
|
check-for-typos:
provers/sp1/driver/src/gen_verifier.rs#L64
"ot" should be "to" or "of" or "or" or "not".
|
check-for-typos:
provers/sp1/driver/src/gen_verifier.rs#L79
"FIXUTRE" should be "FIXTURE".
|
check-for-typos:
provers/sp1/driver/src/gen_verifier.rs#L80
"FIXUTRE" should be "FIXTURE".
|
check-for-typos:
provers/sp1/contracts/src/SP1Verifier.sol#L171
"wheter" should be "whether".
|
check-for-typos:
provers/sp1/contracts/src/SP1Verifier.sol#L187
"coefficents" should be "coefficients".
|
check-for-typos:
provers/sp1/contracts/src/SP1Verifier.sol#L217
"compresed" should be "compressed".
|