The crypto space is moving into a phase where real progress matters more than loud promises. In that shift, Zero Knowledge ...

Abstract: This paper investigates the denotational invariants of non-wellfounded and circular proofs of linear logic with least and greatest fixed points, μLL, by providing a categorical semantics.