Skip to content

spec(port): land 25 trios-chat CR-CHAT-04/07 port PRs in one merge (Closes #10096) #10097

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.

Sign up for GitHub

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

Merged
gHashTag merged 27 commits into from
Oct 17, 2026
Merged

spec(port): land 25 trios-chat CR-CHAT-04/07 port PRs in one merge (Closes #10096) #10097

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
38f75cf
spec(port): port the header extension order guard (Refs #8884)
dmitrii-f-t27 Oct 17, 2026
6098487
spec(port): port the padding byte entropy guard (Refs #8884)
gHashTag Oct 17, 2026
5b58ee3
spec(port): port the padding-class oracle guard (Refs #8884)
gHashTag Oct 17, 2026
5f1318b
spec(port): port the padding class selection entropy guard (Refs #8884)
dmitrii-f-t27 Oct 17, 2026
0b16c5d
spec(port): port the padding class collision guard (Refs #8884)
gHashTag Oct 17, 2026
2ff0949
spec(port): port the padding class transition audit (Refs #8884)
gHashTag Oct 17, 2026
0785b17
spec(port): port the padding class transition monotonicity guard (Ref…
dmitrii-f-t27 Oct 17, 2026
aa42750
spec(port): port the padding crypto binding guard (Refs #8884)
dmitrii-f-t27 Oct 17, 2026
400166d
spec(port): port the padding length class transition uniformity guard…
gHashTag Oct 17, 2026
94d4b3e
spec(port): port the padding length distribution guard (Refs #8884)
dmitrii-f-t27 Oct 17, 2026
1c5fcf8
spec(port): port the padding oracle timing side-channel guard (Refs #…
dmitrii-f-t27 Oct 17, 2026
999324d
spec(port): port the padding ciphertext length consistency guard (Ref…
dmitrii-f-t27 Oct 17, 2026
32fa8c0
spec(port): port the padding class downgrade guard (Refs #8884)
dmitrii-f-t27 Oct 17, 2026
c47fff0
spec(port): port the AEAD/MAC tag truncation defence (Refs #8884)
dmitrii-f-t27 Oct 17, 2026
451db20
spec(port): port the safety-number OOB identity verification (Refs #8…
dmitrii-f-t27 Oct 17, 2026
c3294a0
spec(port): port the cover-traffic burst detection guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
2a24830
spec(port): port the cover-traffic emission jitter guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
248d075
spec(port): port the cover-traffic emission pattern randomness guard …
dmitrii-f-t27 Oct 17, 2026
8f34b81
spec(port): port the cover-traffic entropy fingerprint guard (Refs #8…
dmitrii-f-t27 Oct 17, 2026
5d09ef9
spec(port): port the cover-traffic generation rate stability guard (R…
dmitrii-f-t27 Oct 17, 2026
64e6eca
spec(port): port the cover-traffic inter-epoch continuity guard (Refs…
dmitrii-f-t27 Oct 17, 2026
9342a85
spec(port): port the cover-traffic payload length distribution guard …
dmitrii-f-t27 Oct 17, 2026
536c092
spec(port): port the cover-traffic payload size variance guard (Refs …
dmitrii-f-t27 Oct 17, 2026
7a18ac1
spec(port): port the cover-traffic starvation guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
0d4fe82
spec(port): port the cover-traffic timing correlation guard (Refs #8887)
dmitrii-f-t27 Oct 17, 2026
f3d55bd
spec(port): name the emission guard's interval type apart (types ratc…
gHashTag Oct 17, 2026
4ab1ed8
Merge master into sweep/land-28-port-prs (ledger union after #10098)
gHashTag Oct 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 28 additions & 0 deletions ...ty/seals/src_port::trios::crates::trios-chat::rings::CR-CHAT-04::src::mac_truncation.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:2472637916229b9eb8b7084f360f2b0cfa1494161222a8f6c8ef50b8051c0e8f",
"gen_hash_rust": "sha256:80c92ce669dfc4a98d756a7220754de457336f7e1d7e144ebf267ac6fa16910f",
"gen_hash_verilog": "sha256:59d88717eef90fe5a44694b3b7e2e561e60536e9e1e143415075e71da53f3fad",
"gen_hash_zig": "sha256:153eff87ecaaf3e11d381d86eec93efbb4f6f9c11debbfb3406aa360b6f28924",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::mac_truncation",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T00:28:07Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:9c3547e53c1da0f70ee74ebb609c0027d6731529b0e15e8df880f8cc9ab3f0b9",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/mac_truncation.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 11,
"total": 11,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...tes::trios-chat::rings::CR-CHAT-04::src::padding_ciphertext_length_consistency_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:34ccb2881931ec3d55fbbe533b012d2fe5cec64a1bf3bc129bc1fb7d105d24ce",
"gen_hash_rust": "sha256:14448b9a934b77a424dbd231152216ee46f1f50883f51857128681dc72b86268",
"gen_hash_verilog": "sha256:4140dd44258be8b26b21ac1c822dc1febfbc0652809b21fa160890a0018cb871",
"gen_hash_zig": "sha256:50e6681bcf0806b043797486e6caf9776f31259ce73e7f3de4d5417a65f858dc",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_ciphertext_length_consistency_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T14:45:29Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:47ec189874c25800c97f00c7c1049f12c435ca108d9bbf940438a4f3fcc6c224",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_ciphertext_length_consistency_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...rt::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_class_downgrade_guard.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:6107e045b4377de051491e22e7ef5a2231cc3ee1b63a444ff795c2beda87134e",
"gen_hash_rust": "sha256:e59f03fce02f279364e8635209f9ad4b58c834ccd96978da1a6044534213cb0e",
"gen_hash_verilog": "sha256:c40a564ebda4aa514a10f39939efc8559318736e86eb7d7b64a4bff117df60a8",
"gen_hash_zig": "sha256:662eefcc9a23b824c8f30159a77851312dc9fd46ac120b6cf2397cf4b880fc53",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_class_downgrade_guard",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T15:10:50Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:73ee43b21aee93eebddb92ab7eb36b705bd382cc6c519a197926e5f0190a84a9",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_oracle_timing_sidechannel.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:19698787ba3df4d2d57b3c4f3b829495e3c5fe6c32351e4292d248768dd587a3",
"gen_hash_rust": "sha256:f2c46aee741b67b4c24c21fdda09d4aa4f6fc75f40e679dd1ea2ea3b334b66c3",
"gen_hash_verilog": "sha256:24d458163413022a7995553a49ecff02b22d5942914c6b1521c305d76db22050",
"gen_hash_zig": "sha256:62a43bd156acc2baa05439317043ded3ae691f47b996d9766ce1bdc2f5e4a394",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::padding_oracle_timing_sidechannel",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-16T12:25:40Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:e70f365dd769ebd9bc7922d2f564df0096d6e4c4944c7bca916c6efed667af80",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_oracle_timing_sidechannel.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 12,
"total": 12,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
28 changes: 28 additions & 0 deletions ...ity/seals/src_port::trios::crates::trios-chat::rings::CR-CHAT-04::src::safety_number.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"built_by": "t27c-bootstrap@0.5.2+01d0a635f",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:0e3eca72ecc964fd826cf384ca27e651feffe7eff2255db57fb64407407009a3",
"gen_hash_rust": "sha256:523935ae1031e20735ae7a9fa62057f0636d671c08364042207c7c4b763b6cd2",
"gen_hash_verilog": "sha256:50564f05903758c6eeb492013799c727638cf9d9e04223580ee8ff6dfd71ae3b",
"gen_hash_zig": "sha256:c2af7ff8deacc4587f29a34a99dc917be3a3c95e302df43d262f9c822ed48f40",
"module": "port::trios::crates::trios-chat::rings::CR-CHAT-04::src::safety_number",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-17T00:37:25Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:c7b566d21e71d132f35cdb0a9a792aca02886240189cc8d5c54cbb6cd45407a8",
"spec_path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/safety_number.t27",
"tests": {
"failed": 0,
"failing": [],
"forced": false,
"passed": 6,
"total": 6,
"vacuous": 0
},
"toolchain": {
"test_runner": "sha256:1982ae948e24d00c5d221ccec12dfce1eb01204b53e37b0f857f93b16d64629d",
"zig": "0.16.0"
}
}
5 changes: 5 additions & 0 deletions docs/reports/t27b_expectations.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -877,12 +877,15 @@
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/application_message_generation_skip_dos.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/external_init_secret_pinning.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/header_extension_order_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/mac_truncation.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/mls_plaintext_framing_integrity.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_alignment_boundary_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_block_size_alignment_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_byte_entropy_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_byte_pattern_uniformity_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_ciphertext_length_consistency_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_class_collision_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_class_oracle.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_class_selection_entropy_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_class_transition_audit.t27", "t27b": "pass"},
Expand All @@ -893,6 +896,8 @@
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_key_derivation_domain_separation_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_length_class_transition_uniformity_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_length_distribution_guard.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_oracle_timing_sidechannel.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/safety_number.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/blind_signature_sender_token.t27", "t27b": "pass"},
{"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.t27", "t27b": "pass"},
Expand Down
Loading
Loading