Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols

Benedikt Bünz, Binyi Chen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols'. Together they form a unique fingerprint.

Computer Science

Keyphrases