Login / Signup
SnarkFold: Efficient SNARK Proof Aggregation from Split Incrementally Verifiable Computation.
Xun Liu
Shang Gao
Tianyu Zheng
Bin Xiao
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
cost effective
real world
decision making
image processing
multiscale
lightweight
computationally efficient
theorem prover
theorem proving
aggregation operators