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
1
ethereum
formal-methods
evm
License:
mit
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
kaysentinel
394 kB
Ctrl+K
Ctrl+K
3 contributors
History:
46 commits
Sahek
Add SSZ decoders with round-trip tests; add live-Geth validation runbook
d655886
3 months ago
docs
Add SSZ decoders with round-trip tests; add live-Geth validation runbook
3 months ago
emes
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
3 months ago
harness
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
3 months ago
multiplexer
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
3 months ago
raw
Add missing transcript README.md from previous commit
3 months ago
runtime
Add SSZ decoders with round-trip tests; add live-Geth validation runbook
3 months ago
schemas
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
3 months ago
scripts
Add SSZ-V1 profile with working reference encoder; fix 174/178-byte discrepancy; compute real Layer 2 hashes
3 months ago
tests
Reorganize into docs/scripts/tests folders
3 months ago
tracer
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
3 months ago
validation
Implement Gate 1 Invariant T1 (root frame / transaction revert consistency) with tests; retire ssz_profile.md in favor of ssz_specification.md
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
3 months ago
LICENSE
Safe
1.08 kB
Rewrite README as Protocol Integrity Runtime; update LICENSE contact
3 months ago
README.md
Safe
7.17 kB
Rewrite README as Protocol Integrity Runtime; update LICENSE contact
3 months ago
go.mod
Safe
79 Bytes
Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end
3 months ago