| 123456789101112131415161718192021 |
- /= * /common/zeke
- /= stark-prover /common/stark/prover
- /= common /common/nock-common
- ::
- |_ stark-config
- ++ sam +<
- ++ prover
- =| in=stark-input
- :: +<+< = stark-engine door sample wrt stark-verifier core
- %_ stark-prover
- +<+<
- %_ in
- stark-config sam
- 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)
- --
|
