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
243 kB
Ctrl+K
Ctrl+K
3 contributors
History:
35 commits
kaymyg
Add kaysentinel-protocol crate: implementation-neutral shared error type (PR 1 / File 1)
15637c2
about 16 hours ago
docs
Implement kaysentinel-ssz (SSZ wire format + Merkle Profile MP1); correct source spec's invalid test vector
1 day ago
emes
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
8 days ago
harness
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
8 days ago
multiplexer
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
6 days ago
raw
Add missing transcript README.md from previous commit
6 days ago
runtime
Add kaysentinel-protocol crate: implementation-neutral shared error type (PR 1 / File 1)
about 16 hours ago
schemas
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
8 days ago
scripts
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
8 days ago
tests
Reorganize into docs/scripts/tests folders
9 days ago
tracer
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
8 days ago
validation
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
6 days ago
.gitattributes
Safe
1.52 kB
initial commit
9 days ago
LICENSE
Safe
1.06 kB
Fix MIT license year and name
9 days ago
README.md
5.47 kB
Implement kaysentinel-hash (domain-separated BLAKE3 commitments, RC1 spec); update README and roadmap to reflect real progress
2 days ago
go.mod
Safe
79 Bytes
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
8 days ago