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...
AbstractWe show a Liouville type result for harmonic maps from a manifold with nonnegative Ricci curvature into positively curved target under the condition that the maps have some growth condition. Our result can be interpreted as an improved version of Choi's classical work. Moreover, Schoen-Uhlenbeck's example shows that our growth condition is almost sharp. The proof relies on Ecker-Huisken...