code wiki / (root) / nx_tls13_server_full_handshake_test.nx

nx_tls13_server_full_handshake_test.nx

buildroot/runtime/nx_tls13_server_full_handshake_test.nx

9084 B225 linesdepth 12pulls 57 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_server_full_handshake_test.nx -- end-to-end integration smoke composing ALL 10 TLS server stones in ONE authenticated handshake. Proves the substrate's complete TLS 1.3 server-side pipeline works in pure NishiLang. The 10-stone authenticated flow: client ClientHello bytes -> [stone 2] recv_ch state INIT -> CH_RECEIVED [stone 3] emit_sh -> SH_SENT [stone 4] derive_hs_secrets -> EE_SENT (placeholder) [stone 5] derive_traffic (no state change) [stone 6] emit_ee -> CERT_SENT [stone 6.5] emit_certificate (state stays CERT_SENT) [stone 7.5] emit_cv -> CV_SENT [stone 7] emit_sf -> SF_SENT <- client Finished bytes (constructed using shared keys) [stone 8] recv_cf + derive_app -> CONNECTED Asserts at every step: - State transition correct - server_seq / client_seq tracking correct - Each emit returns positive byte count + 0x17 (app_data) header - Final state CONNECTED + master_secret + 6 app-traffic buffers expect_exit: 0 license_tier: ORIGINAL

dependencies 19 imports · 0 importers

nx_syscalls.nx nx_x25519.nx nx_x25519_ephemeral.nx nx_hmac.nx nx_tls13.nx nx_tls13_hello.nx nx_tls13_kdf.nx nx_tls13_record.nx nx_tls13_transcript.nx nx_tls13_server_session.nx nx_tls13_server_full_handshake

diagram shows first 10 each side; +9 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_hmac.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_kdf.nxnx_tls13_record.nxnx_tls13_transcript.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.nxnx_tls13_server_session_emit_sh.nxnx_tls13_server_session_derive_hs.nxnx_tls13_server_session_derive_traffic.nxnx_tls13_server_session_emit_ee.nxnx_tls13_server_session_emit_certificate.nxnx_tls13_server_session_emit_cv.nxnx_tls13_server_session_emit_sf.nxnx_tls13_server_session_recv_cf.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap x25519_keypair_public sys_mmap ↻ x25519_base_point x25519 nx_scratch_save nx_scratch_init sys_mmap ↻ nx_scratch nx_scratch_init ↻ nx_scratch_oom sys_write sys_exit sys_mmap ↻ fe_alloc nx_scratch ↻ fe_from_bytes fe_one fe_zero fe_zero ↻ fe_copy x25519_ladder_step fe_cswap nx_scratch_save ↻ fe_alloc ↻ fe_add fe_sq fe_mul fe_sub fe_mul ↻ fe_mul_a24 nx_scratch_save ↻ fe_alloc ↻ fe_mul ↻ nx_scratch_restore nx_scratch_restore ↻ fe_cswap ↻ fe_invert nx_scratch_save ↻

structs

none

consts

none

functions

51func build_client_finished(
87func main() -> i64