PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument.

Kristian Gjøsteen Mayank Raikwar Shuang Wu

Published in: CT-RSA (2022)

Keyphrases

theorem proving
numerical data
linear logic
original data
argumentation schemes
theorem prover
proof theory
real world
data mining
third party
graphical representation
confidential information
hypothetical reasoning