the name

zheng. written 証 in simplified form, 證 in traditional. the character combines 言 (speech, words) with 正 (correct, straight, right). its literal meaning: correct speech. words that establish truth. in modern Chinese and Japanese the word means proof, evidence, certificate, testimony.

the character

言 is one of the oldest radicals. it appears in characters for language, trust, promise, and oath. 正 is the radical for correctness, alignment, and uprightness — the first stroke is a horizontal line that stops at exactly the right place. together they form a character that has meant "evidence" for over two thousand years of continuous use.

zhèng in Mandarin. shō in Japanese. the pronunciation carries a rising tone that resolves into certainty — the sound of a claim that has been settled.

the stack as a naming tradition

each layer of the cyber cryptographic stack carries a name that encodes its role:

nebu — gold. the field. the base metal from which all arithmetic is forged. p = 2^64 - 2^32 + 1, the Goldilocks prime. nebu is the substrate, ancient and elemental.

hemera — the Greek goddess of day, of light. the hash function that illuminates. hemera takes raw field elements and produces digests that reveal whether data has been altered. light exposes what darkness conceals.

nox — the Greek goddess of night. the virtual machine that computes in darkness. nox executes programs without revealing their inputs, their intermediate states, their internal logic. the computation happens in the dark.

zheng — proof. the evidence that emerges from the dark. nox executes in silence. zheng speaks afterward, and what it says is correct. 言 + 正. the mathematical testimony that the hidden computation was performed faithfully.

evidence, not authority

the word zheng carries a specific philosophical weight. a zheng is not a decree. it is not an assertion backed by power. it is evidence — something that compels belief through its own structure. a mathematical proof needs no institution to endorse it. it needs no reputation, no credential, no social standing. the proof either verifies or it does not.

this is the role zheng plays in cyber. when nox finishes executing a program, the result is a claim: "this output follows from this input under this program." the claim alone means nothing. zheng transforms the claim into a proof — a short string of field elements that any verifier can check in under a millisecond. the proof is the evidence. it speaks for itself.

証. correct speech. words that prove correctness. computation made evident.