-
Notifications
You must be signed in to change notification settings - Fork 2
feat(encryption): storage envelope wiring (Stage 2) #742
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: feat/encryption-sidecar
Are you sure you want to change the base?
Changes from 1 commit
6309c4e
f2abaff
7ac2445
624016d
eb7edd4
1bda846
f8fc68e
0f9fbda
55bca7c
009e798
b4da4e7
2addfa1
20e6d09
f2254f8
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,143 @@ | ||
| package store | ||
|
|
||
| import ( | ||
| "github.com/bootjp/elastickv/internal/encryption" | ||
| "github.com/cockroachdb/errors" | ||
| ) | ||
|
|
||
| // ErrEncryptedReadIntegrity wraps encryption.ErrIntegrity for storage-layer | ||
| // callers (Get / scan / iterator). Per design §4.1, callers MUST treat this | ||
| // as a typed read error and never silently zero the value or skip the row. | ||
| // | ||
| // Callers can disambiguate it from any other read error with errors.Is. | ||
| var ErrEncryptedReadIntegrity = errors.New("store: encrypted value failed integrity check (GCM tag mismatch); refusing to surface plaintext") | ||
|
|
||
| // NonceFactory produces unique 12-byte AES-GCM nonces for the storage | ||
| // envelope (§4.1). The factory is responsible for the cluster-wide | ||
| // uniqueness invariant across `(node_id, local_epoch, write_count)` — | ||
| // the storage layer just calls Next() and uses what comes back. | ||
| // | ||
| // Stage 7 of the encryption rollout will replace the in-tree | ||
| // reference implementation (deterministicCounterNonce, defined in the | ||
| // _test.go helper) with a writer-registry-backed factory that | ||
| // guarantees uniqueness across voters, learners, and historical | ||
| // replicas. The interface stays the same; only the construction | ||
| // changes. Implementations MUST NOT return the same nonce twice | ||
| // under the same DEK — AES-GCM nonce reuse is catastrophic | ||
| // (see encryption.Cipher doc). | ||
| type NonceFactory interface { | ||
| Next() ([encryption.NonceSize]byte, error) | ||
| } | ||
|
|
||
| // ActiveStorageKeyID reports the currently-active storage DEK | ||
| // identifier. The bool is false when no storage DEK is active (i.e. | ||
| // the cluster has not run Phase 1 of the §7.1 rollout yet) — in that | ||
| // case the storage layer writes cleartext as if no cipher were | ||
| // configured. Stage 5/6 wires this from the sidecar's Active.Storage | ||
| // slot; Stage 2 takes it as a closure so test code can flip it | ||
| // independently. | ||
| type ActiveStorageKeyID func() (uint32, bool) | ||
|
|
||
| // WithEncryption configures the pebble-backed store to wrap every | ||
| // committed value in the §4.1 storage envelope. | ||
| // | ||
| // All three arguments must be non-nil. activeKeyID is called on | ||
| // every Put — when it returns ok=false the store writes cleartext | ||
| // (encryption_state = 0b00) even though a cipher is wired, matching | ||
| // the §7.1 Phase 0 / Phase 1 split where capability is provisioned | ||
| // before activation. Reads that observe encryption_state = 0b01 | ||
| // always go through the cipher regardless of activeKeyID, so a | ||
| // cluster mid-cutover stays readable. | ||
| // | ||
| // Calling WithEncryption with any nil argument is a no-op (the | ||
| // store stays in legacy cleartext-only mode). This keeps the | ||
| // option backwards-compatible with every existing NewPebbleStore | ||
| // caller and keeps the Stage 2 wiring trivially reversible. | ||
| func WithEncryption(cipher *encryption.Cipher, nf NonceFactory, activeKeyID ActiveStorageKeyID) PebbleStoreOption { | ||
| return func(s *pebbleStore) { | ||
| if cipher == nil || nf == nil || activeKeyID == nil { | ||
| return | ||
| } | ||
| s.cipher = cipher | ||
| s.nonceFactory = nf | ||
| s.activeStorageKeyID = activeKeyID | ||
| } | ||
| } | ||
|
|
||
| // encryptForKey wraps plaintext in the §4.1 storage envelope when an | ||
| // encryption key is active for the storage purpose. Returns | ||
| // (plaintext, encStateCleartext, nil) when encryption is disabled or | ||
| // no DEK is currently active so the cipher=nil fast path stays a | ||
| // single branch. AAD binds the ciphertext to the envelope header AND | ||
| // the encoded Pebble key, defeating cut-and-paste / version | ||
| // substitution per §4.1 case 2/3. | ||
| func (s *pebbleStore) encryptForKey(pebbleKey, plaintext []byte) ([]byte, byte, error) { | ||
| if s.cipher == nil || s.activeStorageKeyID == nil { | ||
| return plaintext, encStateCleartext, nil | ||
| } | ||
| keyID, ok := s.activeStorageKeyID() | ||
| if !ok { | ||
| return plaintext, encStateCleartext, nil | ||
| } | ||
| nonceArr, err := s.nonceFactory.Next() | ||
| if err != nil { | ||
| return nil, 0, errors.Wrap(err, "store: nonce factory") | ||
| } | ||
| nonce := nonceArr[:] | ||
| // flag = 0: Snappy compression deferred to Stage 9 per design §4.1. | ||
| const envelopeFlag byte = 0 | ||
| aad := encryption.AppendHeaderAADBytes(nil, | ||
| encryption.EnvelopeVersionV1, envelopeFlag, keyID) | ||
| aad = append(aad, pebbleKey...) | ||
| ciphertextAndTag, err := s.cipher.Encrypt(plaintext, aad, keyID, nonce) | ||
| if err != nil { | ||
| return nil, 0, errors.Wrap(err, "store: encrypt value") | ||
| } | ||
| env := encryption.Envelope{ | ||
| Version: encryption.EnvelopeVersionV1, | ||
| Flag: envelopeFlag, | ||
| KeyID: keyID, | ||
| Nonce: nonceArr, | ||
| Body: ciphertextAndTag, | ||
| } | ||
| encoded, err := env.Encode() | ||
| if err != nil { | ||
| return nil, 0, errors.Wrap(err, "store: encode envelope") | ||
| } | ||
| return encoded, encStateEncrypted, nil | ||
| } | ||
|
|
||
| // decryptForKey is the read-side counterpart. encState=0 returns the | ||
| // body verbatim; encState=1 decodes the envelope, recomputes the AAD | ||
| // against the supplied pebbleKey, and unwraps via the cipher. A GCM | ||
| // tag mismatch surfaces as ErrEncryptedReadIntegrity — callers MUST | ||
| // NOT silently translate this into "key not found" or "empty value" | ||
| // because that would let a disk attacker who flipped a tag bit | ||
| // silently corrupt reads. | ||
| // | ||
| // Reserved encryption_state values are rejected upstream in | ||
| // decodeValue, so this function only sees the two valid states. | ||
| func (s *pebbleStore) decryptForKey(pebbleKey []byte, encState byte, body []byte) ([]byte, error) { | ||
| if encState == encStateCleartext { | ||
| return body, nil | ||
|
Comment on lines
+144
to
+148
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
When Useful? React with 👍 / 👎. |
||
| } | ||
| if s.cipher == nil { | ||
| return nil, errors.New("store: encrypted value present but no cipher configured") | ||
| } | ||
| env, err := encryption.DecodeEnvelope(body) | ||
| if err != nil { | ||
| return nil, errors.Wrap(err, "store: decode envelope") | ||
| } | ||
| aad := encryption.AppendHeaderAADBytes(nil, env.Version, env.Flag, env.KeyID) | ||
| aad = append(aad, pebbleKey...) | ||
| plain, err := s.cipher.Decrypt(env.Body, aad, env.KeyID, env.Nonce[:]) | ||
| if err != nil { | ||
| if errors.Is(err, encryption.ErrIntegrity) { | ||
| return nil, errors.Wrap( | ||
| errors.WithSecondaryError(ErrEncryptedReadIntegrity, err), | ||
| "store: decrypt value") | ||
| } | ||
| return nil, errors.Wrap(err, "store: decrypt value") | ||
| } | ||
| return plain, nil | ||
| } | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,52 @@ | ||
| package store | ||
|
|
||
| import ( | ||
| "encoding/binary" | ||
| "sync/atomic" | ||
|
|
||
| "github.com/bootjp/elastickv/internal/encryption" | ||
| ) | ||
|
|
||
| // CounterNonceFactory is a test-only NonceFactory that produces the | ||
| // design §4.1 deterministic nonce shape (`node_id ‖ local_epoch ‖ | ||
| // write_count`) without the writer-registry round-trip Stage 7 | ||
| // brings. Production wiring uses the registry-backed factory; this | ||
| // implementation is only safe for tests where the caller controls | ||
| // every node_id / local_epoch combination. | ||
| // | ||
| // Exposed (vs. living in a *_test.go file) so the encryption | ||
| // integration tests in other packages can build on the same | ||
| // implementation without re-deriving the byte layout. It is | ||
| // nevertheless test-grade — the doc comment on NonceFactory | ||
| // emphasises that production callers MUST guarantee | ||
| // (node_id, local_epoch, write_count) uniqueness. | ||
| type CounterNonceFactory struct { | ||
| nodeID uint16 | ||
| localEpoch uint16 | ||
| writes atomic.Uint64 | ||
| } | ||
|
|
||
| // NewCounterNonceFactory constructs a CounterNonceFactory pinned to | ||
| // the given (nodeID, localEpoch). write_count starts at 0 and | ||
| // monotonically increments on every Next(). | ||
| func NewCounterNonceFactory(nodeID, localEpoch uint16) *CounterNonceFactory { | ||
| return &CounterNonceFactory{nodeID: nodeID, localEpoch: localEpoch} | ||
| } | ||
|
|
||
| // Next produces the next 12-byte nonce. Layout matches design §4.1: | ||
| // | ||
| // bytes 0-1 node_id (big-endian uint16) | ||
| // bytes 2-3 local_epoch (big-endian uint16) | ||
| // bytes 4-11 write_count (big-endian uint64) | ||
| // | ||
| // Big-endian is chosen so a hex dump of consecutive nonces is | ||
| // human-readable as a counter; the AAD does NOT include the nonce | ||
| // bytes (the cipher composes the nonce into AES-GCM directly), so | ||
| // the byte order is internal to the factory. | ||
| func (f *CounterNonceFactory) Next() ([encryption.NonceSize]byte, error) { | ||
| var n [encryption.NonceSize]byte | ||
| binary.BigEndian.PutUint16(n[0:2], f.nodeID) | ||
| binary.BigEndian.PutUint16(n[2:4], f.localEpoch) | ||
| binary.BigEndian.PutUint64(n[4:12], f.writes.Add(1)) | ||
| return n, nil | ||
| } |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Encrypted writes can exceed the restore-time value length cap even when
validateValueSizesucceeds:encryptForKeyadds envelope overhead and returns bytes that are stored as-is, but restore still caps each raw value atmaxSnapshotValueSize + valueHeaderSizeinreadRestoreEntry. With encryption enabled, a plaintext nearmaxSnapshotValueSizeis writable yet its native snapshot restore fails withErrValueTooLarge, so the system can persist data that cannot be recovered via snapshot. Please either validate post-encryption size here or raise the restore bound for encrypted rows.Useful? React with 👍 / 👎.