Login / Signup
Hᴇᴋᴀᴛᴏɴ: Horizontally-Scalable zkSNARKs via Proof Aggregation.
Michael Rosenberg
Tushar Mopuri
Hossein Hafezi
Ian Miers
Pratyush Mishra
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
web scale
theorem prover
lightweight
data aggregation
rank aggregation
theorem proving
aggregation functions
data sets
data mining
decision making
cloud computing
first order logic
proof planning
mathematical proofs