Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Sahek
/
kaysentinel
like
0
ethereum
formal-methods
evm
License:
mit
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
kaysentinel
241 kB
Ctrl+K
Ctrl+K
3 contributors
History:
34 commits
kaymyg
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector
1cf8da3
about 6 hours ago
docs
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector
about 6 hours ago
emes
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
6 days ago
harness
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
6 days ago
multiplexer
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
5 days ago
raw
Add missing transcript README.md from previous commit
5 days ago
runtime
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector
about 6 hours ago
schemas
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
6 days ago
scripts
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
6 days ago
tests
Reorganize into docs/scripts/tests folders
8 days ago
tracer
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
6 days ago
validation
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
5 days ago
.gitattributes
Safe
1.52 kB
initial commit
8 days ago
LICENSE
Safe
1.06 kB
Fix MIT license year and name
7 days ago
README.md
5.47 kB
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress
about 10 hours ago
go.mod
Safe
79 Bytes
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
6 days ago