Black-Box Commit-and-Prove SNARKs Unlock Verifiable Computation Scaling
Artemis, a new black-box SNARK construction, modularly solves the commitment verification bottleneck, enabling practical, large-scale zero-knowledge machine learning.
Random Oracle Model Precludes Verifiable Delay Functions
This research fundamentally proves Verifiable Delay Functions cannot exist in the Random Oracle Model, challenging foundational assumptions for secure randomness in decentralized systems.
VDFs Are Impossible in the Random Oracle Model
This research fundamentally redefines Verifiable Delay Functions, proving their non-existence in the Random Oracle Model, impacting future cryptographic primitive design.
