Encrypted Lookup
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
Lookup in encrypted table · CKKSLookup in encrypted table · CKKS
no pointsnone measured
noneno implementation yet
NOT READYno testing bundle yet
u16@1.0.0PUBLISHEDBENCHMARKED
u16 elements, the exact element backu16 elements, the exact element back
1 pointN2048
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.0Lookup in encrypted table · CKKS
5 du16@1.0.0u16 elements, the exact element back
7 d