klefki.zkp.zkpy

Module Contents

Classes

Flattener

Functions

zkpy(f, ctx={})

class klefki.zkp.zkpy.Flattener(src, ctx={})

closure_alias(self, sym, refs)

mk_symbol(self, base='Sym')

latest_sym(self, base, bias=1)

extra_inputs(self)

handle_subscript(self, s, index=None)

extra_loop(self, loop)

only support: for _ in range(3):

extra_body(self)

flatten_body(self)

transfer_assert(self, stmt)

flatten_stmt(self, s, force_target=None)

flatten_expr(self, target, expr)

flatten_call(self, target, expr)

flatten_binop(self, target, expr)

flatten_pow(self, target, expr)

klefki.zkp.zkpy.zkpy(f, ctx={})