The program quic_echo

A QUIC echo server (docs/QUIC.md, section 6): QUIC in the program (support/quic), over a datagram endpoint with a listen grant of UDP. A client opens up to STREAMS_PER_CONNECTION streams at one time; on each one the server writes back each byte that it reads, then ends the stream after the client ended it, or resets it after the client reset it.

What it can reach comes from its grants only:

a datagram endpoint with a listen grant: the UDP port 4433, and the

remotes that send a datagram of 1200 bytes to it;

the module cryptography, through its import slots.

The key of the server: an Ed25519 key that this program makes at its start from its own generator (fill_for_a_key, the strength "processor" at least). Its public key goes on the log and in the window: a client pins it. The private key stays in the memory of this program; a new start makes a new key. A seed weaker than "processor" makes no key: the program says so in its window, and listens on nothing.

main.odin: the endpoint, the server and the loop. draw.odin: the window.