amaters-net 0.2.0

Network layer for AmateRS (Musubi)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

syntax = "proto3";

package amaters.types;

// Protocol version for compatibility checking
message Version {
  uint32 major = 1;
  uint32 minor = 2;
  uint32 patch = 3;
}

// Encrypted data blob with metadata
message CipherBlob {
  // Encrypted data bytes
  bytes data = 1;

  // Metadata for integrity and compression
  CipherMetadata metadata = 2;
}

// Metadata for encrypted blob
message CipherMetadata {
  // Uncompressed size in bytes
  uint64 size = 1;

  // Compression type
  CompressionType compression = 2;

  // CRC32 checksum for integrity
  uint32 checksum = 3;

  // Creation timestamp (Unix epoch seconds)
  int64 created_at = 4;

  // Optional version tag
  optional uint32 version = 5;
}

// Compression type enumeration
enum CompressionType {
  COMPRESSION_NONE = 0;
  COMPRESSION_LZ4 = 1;
  COMPRESSION_ZSTD = 2;
}

// Database key
message Key {
  // Key bytes
  bytes data = 1;
}

// Column reference for predicates
message ColumnRef {
  // Column name
  string name = 1;
}

// Predicate for filtering (executed on encrypted data via FHE)
message Predicate {
  oneof predicate {
    // Equality test
    EqPredicate eq = 1;
    // Greater than
    GtPredicate gt = 2;
    // Less than
    LtPredicate lt = 3;
    // Greater than or equal
    GtePredicate gte = 4;
    // Less than or equal
    LtePredicate lte = 5;
    // Logical AND
    AndPredicate and = 6;
    // Logical OR
    OrPredicate or = 7;
    // Logical NOT
    NotPredicate not = 8;
  }
}

message EqPredicate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message GtPredicate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message LtPredicate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message GtePredicate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message LtePredicate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message AndPredicate {
  Predicate left = 1;
  Predicate right = 2;
}

message OrPredicate {
  Predicate left = 1;
  Predicate right = 2;
}

message NotPredicate {
  Predicate predicate = 1;
}

// Update operation
message Update {
  oneof operation {
    // Set column to value
    SetUpdate set = 1;
    // Add to column (FHE addition)
    AddUpdate add = 2;
    // Multiply column (FHE multiplication)
    MulUpdate mul = 3;
  }
}

message SetUpdate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message AddUpdate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}

message MulUpdate {
  ColumnRef column = 1;
  CipherBlob value = 2;
}