Xproofs: New Aggregatable and Maintainable Matrix Commitment with Optimal Proof Size.

Xinwei Yong Jiaojiao Wu Jianfeng Wang

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

theorem proving
linear logic
optimal solution
neural network
decision trees
bayesian networks
sufficient conditions
first order logic
standard deviation
theorem prover
linear algebra
constant factor