nx_tls13_handshake_test.nx
buildroot/runtime/nx_tls13_handshake_test.nx
about
nx_tls13_handshake_test.nx -- RFC 8448 §3 end-to-end orchestrator KAT.
Plugs the real X25519 ECDHE computation into the key schedule and
verifies the entire chain reproduces RFC 8448 §3:
client_priv = 49af42ba7f9994852d713ef2784bcbcaa7911de26adc5642cb634540e7ea5005
server_pub = c98288761120 95fe66762bdbf7c672e156d6cc253b833df1dd69b1b04e751f0f
=> ECDHE = 8bd4054fb55b9d63fdfbacf9f04b9f0d35e6d63f537563efd46272900f89492d
Then schedule:
early_secret = 33ad0a1c... (verified in nx_tls13_kdf_test)
derived_1 = 6f2615a1... (verified in nx_tls13_kdf_test)
handshake_secret = 1dc826e9... (verified, now end-to-end FROM X25519)
chts (c hs traffic) using RFC 8448 §3 transcript hash at CH+SH:
transcript_hash = 860c06edc07858ee8e78f0e7428c58edd6b43f2ca3e6e95f02ed063cf0e1cad8
chts = b3eddb126e067f35a780b3abf45e2d8f3b1a950738f52e9600746a0e27a55a21
shts = b67b7d690cc16c4e75e54213cb2d37b4e9c912bcded9105d42befd59d391ad38
expect_exit: 0
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_x25519.nxnx_tls13_handshake.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 26 | func main() -> i64 |