Format secrets in standard way

[camsterrrr]

In the add-gen-secrets-for-encode-pr branch, I defined a Rust library that is importable into Python. This is intended to be used to generate random numbers with ChaCha20.

Right now the keys being generated are stored as an integer in the secrets.json file. I'm not sure the format we should use moving forward, whether it be hex, integer, etc. (I can't think of any other option).

Link to the line of key formatting:

ucsc-ectf-2025/design/ectf25_design/gen_secrets.py

Line 50 in ae55bd6

channel_info = {

This is more of an open discussion for formatting ideas.

[camsterrrr]

In the Encode meeting, we discussed keeping it as an integer. This is what Natalie and I implemented.

eCTF organizers don't specify the format of keys, so we can use whatever we want.