| 12345678910111213141516171819202122 |
- /= * /common/zeke
- /= stark-prover /common/stark/prover
- /= common /common/nock-common
- /# sc=stark-config
- ::
- |%
- ::
- ++ prover
- =| in=stark-input
- :: +<+< = stark-engine door sample wrt stark-verifier core
- %_ stark-prover
- +<+<
- %_ in
- stark-config sc
- all-verifier-funcs all-verifier-funcs:common
- ==
- ==
- ::
- ++ prove
- |= [header=noun-digest:tip5 nonce=noun-digest:tip5 len=@ override=(unit (list term))]
- (prove:prover header nonce len override)
- --
|
