Sahek
/

kaysentinel

Model card Files Files and versions

kaysentinel / docs

71.8 kB

Ctrl+K

Ctrl+K

3 contributors

History: 12 commits

kaymyg

Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector

1cf8da3 about 6 hours ago

differential_testing.md

3 kB
Reorganize into docs/scripts/tests folders 8 days ago
emes_profile.md

12.6 kB
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end 6 days ago
framework.md

6.99 kB
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end 5 days ago
hash_specification.md

4.88 kB
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress about 10 hours ago
implementation_roadmap.md

9.62 kB
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress about 10 hours ago
semantic_architecture_spec.md

8.2 kB
Add generation-resolution certificate module; add formal semantic architecture spec doc about 22 hours ago
semantic_contract.md

6.98 kB
Add normative semantic_contract.md v1.0.0; link from framework.md 7 days ago
ssz_profile.md

7.43 kB
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes 6 days ago
ssz_specification.md

5.84 kB
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector about 6 hours ago
validation_vector_spec.md

6.24 kB
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes 6 days ago