feat(SharedCache): Shared Cache for Searchable Encryption #1476

RitvikKapila · 2024-11-20T20:52:37Z

Issue #, if available:

Description of changes:
This PR:

Adds support for a shared cache for Searchable Encryption beacons.
Updates the cache identifiers for Searchable Encryption to be consistent with the MPL Hierarchical Keyring identifier and Caching CMM identifier.
Updates the smithy model for MultiKeyStore to add an optional variable partitionId.
Updates the smithy model for SingleKeyStore to add two optional variables: partitionId and cache.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy

github-actions · 2024-11-20T23:58:38Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy

github-actions · 2024-11-22T01:01:34Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2024-11-22T03:36:24Z

@RitvikKapila and @texastony, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2024-11-27T22:56:00Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

...oDbEncryption/dafny/DynamoDbEncryption/Model/AwsCryptographyDbEncryptionSdkDynamoDbTypes.dfy

github-actions · 2024-11-27T23:04:35Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy

github-actions · 2024-11-28T00:23:32Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2024-11-28T00:47:07Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy

github-actions · 2024-12-04T17:54:35Z

@RitvikKapila and @ajewellamz, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2024-12-04T23:57:46Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-17T13:06:26Z

@RitvikKapila and @ajewellamz, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy

github-actions · 2025-01-17T13:13:50Z

@RitvikKapila and @ajewellamz, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-17T21:42:19Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-17T21:42:36Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

specification/searchable-encryption/search-config.md

github-actions · 2025-01-22T23:15:11Z

@RitvikKapila and @seebees, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:22:06Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:23:19Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:24:37Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:29:09Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:33:38Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:37:22Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:39:59Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:40:57Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:43:15Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

github-actions · 2025-01-23T00:45:01Z

@RitvikKapila and @RitvikKapila, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

seebees

LGTM

github-actions · 2025-01-23T23:00:44Z

@RitvikKapila and @seebees, I noticed you are updating the smithy model files.
Does this update need new or updated javadoc trait documentation?
Are you adding constraints inside list, map or union? Do you know about this issue: smithy-lang/smithy-dafny#491?

RitvikKapila added 2 commits November 20, 2024 12:51

first commit

58f411e

update smithy models

57f6ea6

RitvikKapila commented Nov 20, 2024

View reviewed changes

DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy Outdated Show resolved Hide resolved

RitvikKapila commented Nov 22, 2024

View reviewed changes

DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy Outdated Show resolved Hide resolved

RitvikKapila commented Nov 27, 2024

View reviewed changes

...oDbEncryption/dafny/DynamoDbEncryption/Model/AwsCryptographyDbEncryptionSdkDynamoDbTypes.dfy Show resolved Hide resolved

RitvikKapila commented Nov 28, 2024

View reviewed changes

DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy Show resolved Hide resolved

RitvikKapila and others added 4 commits November 28, 2024 12:20

add partition ID and cache

b7a6159

fix tests

071cf6d

format

421a648

Merge branch 'main' into rkapila/shared-cache-beacons

d30024e

ajewellamz reviewed Dec 4, 2024

View reviewed changes

DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy Show resolved Hide resolved

Merge branch 'main' into rkapila/shared-cache-beacons

c226970

RitvikKapila and others added 6 commits December 4, 2024 15:58

fix

cda1fdf

Merge branch 'main' into rkapila/shared-cache-beacons

071263d

updates

9f84eb9

m

77abfc2

fix Dafny verification

5ababd4

format

ee868b0

RitvikKapila force-pushed the rkapila/shared-cache-beacons branch from 7a001ea to ee868b0 Compare December 15, 2024 01:49

RitvikKapila and others added 2 commits December 17, 2024 16:38

almost fix verification

2fac140

Merge branch 'main' into rkapila/shared-cache-beacons

2ef5869

format

10555e1

ajewellamz reviewed Jan 17, 2025

View reviewed changes

DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy Outdated Show resolved Hide resolved

use ubuntu-22.04

20e0259

RitvikKapila and others added 4 commits January 17, 2025 13:42

resolve comments

1868de5

Merge branch 'main' into rkapila/shared-cache-beacons

326baaf

fix(verification): Verify cache identifier (#1578)

5e4a115

Merge branch 'main' into rkapila/shared-cache-beacons

2d30327

seebees reviewed Jan 22, 2025

View reviewed changes

RitvikKapila added 2 commits January 22, 2025 16:51

fix spec

7d3d211

point resource and scope id to mpl spec

48b33e5

seebees approved these changes Jan 23, 2025

View reviewed changes

RitvikKapila merged commit 46076f8 into main Jan 24, 2025
40 checks passed

RitvikKapila deleted the rkapila/shared-cache-beacons branch January 24, 2025 00:50

feat(SharedCache): Shared Cache for Searchable Encryption #1476

feat(SharedCache): Shared Cache for Searchable Encryption #1476

Uh oh!

Conversation

RitvikKapila commented Nov 20, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

github-actions bot commented Nov 20, 2024

Uh oh!

Uh oh!

github-actions bot commented Nov 22, 2024

Uh oh!

github-actions bot commented Nov 22, 2024

Uh oh!

github-actions bot commented Nov 27, 2024

Uh oh!

Uh oh!

github-actions bot commented Nov 27, 2024

Uh oh!

Uh oh!

github-actions bot commented Nov 28, 2024

Uh oh!

github-actions bot commented Nov 28, 2024

Uh oh!

Uh oh!

github-actions bot commented Dec 4, 2024

Uh oh!

github-actions bot commented Dec 4, 2024

Uh oh!

github-actions bot commented Jan 17, 2025

Uh oh!

Uh oh!

github-actions bot commented Jan 17, 2025

Uh oh!

github-actions bot commented Jan 17, 2025

Uh oh!

github-actions bot commented Jan 17, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

github-actions bot commented Jan 22, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

seebees left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Jan 23, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

RitvikKapila commented Nov 20, 2024 •

edited

Loading