C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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