Encrypted Maximum
L4 · Application Components2 specificationsThe kernel leaves things open. A specification closes them — one signature, one notion of a correct answer — and only then can something be implemented against it, measured, or compared. Two specifications of this kernel differ in what they say, not in when they were written.
SPECIFICATIONWHAT IT FIXESPOINTSIMPLEMENTATIONSBENCHMARK
ckks@1.0.0PUBLISHED
Max in encrypted array · CKKSMax in encrypted array · CKKS
no pointsnone measured
noneno implementation yet
NOT READYno testing bundle yet
u16@1.0.0PUBLISHEDBENCHMARKED
Exact Encrypted Maximum over u16Exact Encrypted Maximum over u16
1 pointN512
1 implementation1 measured
READYgenerator and oracle accepted
VERSIONS ACROSS ALL SPECIFICATIONSA revision never rewrites past executions. Results stay attached to the version they were measured under.
ckks@1.0.0Max in encrypted array · CKKS
5 du16@1.0.0Exact Encrypted Maximum over u16
7 d