Livoa LogoLivoa
LPCP + Linear-only Encryption
DV-SNARK
Provable
① Only Linear Homomorphism
② Assume extractor
Homo. Enc
Linear-only MACs/Sigs
provable security + Post-Quantum security
stays an assumption
verification oracle?
Can I construct fast DV-SNARKs
Dan Boneh

test

by J

0
0 uses