AbstractZero-Knowledge Succinct Non-interactive ARguments of Knowledge (zkSNARKs) have been a hot topic lately because they are one of the essential tools for building privacy-preserving blockchain applications. zkSNARKs enable one party (the prover) to prove to another party (the verifier) that a statement is true, without revealing other information apart from the fact that the statement is t...
AbstractDg manifolds are a useful geometric notion which unifies many important structures such ashomotopy Lie algebras, foliations and complex manifolds. In this talk, we describe a Duflo.Kontsevich type theorem for dg manifolds. The Duflo theorem of Lie theory and the Kontsevichtheorem regarding the Hoschschild cohomology of complex manifolds can both be derived asspecial cases of this Duflo-...