package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

Sourcemodule CS = Plonk.Circuit

Sourcetype test_info = {

}

Sourcemodule type Test = functor (L : Plompiler.LIB) -> sig ... end

val to_test : 
  ?plonk:(module Plonk.Main_protocol.S) ->
  ?optimize:bool ->
  (module Test) ->
  unit ->
  unit

Sourcemodule Utils (L : Plompiler.LIB) : sig ... end