| 12345678910111213141516171819202122 |
- /= * /common/zeke
- /= stark-verifier /common/stark/verifier
- /= common /common/nock-common
- /# sc=stark-config
- ::
- |%
- ::
- ++ verifier
- =| in=stark-input
- :: +<+< = stark-engine door sample wrt stark-verifier core
- %_ stark-verifier
- +<+<
- %_ in
- stark-config sc
- all-verifier-funcs all-verifier-funcs:common
- ==
- ==
- ::
- ++ verify
- |= [=proof override=(unit (list term)) eny=@]
- (verify:verifier proof override eny)
- --
|
