Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • 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

ethereum
formal-methods
evm
Model card Files Files and versions
xet
Community
kaysentinel / runtime
200 kB
Ctrl+K
Ctrl+K
  • 3 contributors
History: 20 commits
Sahek's picture
Sahek
Add SSZ decoders with round-trip tests; add live-Geth validation runbook
d655886 4 months ago
  • bridge
    Implement Layer 2 Bridge Engine: Go event stream buffering + translation to CanonicalSemanticEvent 4 months ago
  • builder
    Phase 5: SimpleStorageRootDeriver + resolve_storage_roots; closes UnresolvedStorageRoot gap in PR3; restore ssz doc comments 4 months ago
  • cse
    PR1: split ExecutionContext into Normative/Provisional/Trace; PR2: diagnostic isolation + semantic sensitivity conformance tests 4 months ago
  • hash
    Gate 2 groundwork: Domain::Gate2Replay, wire real dependencies into runtime/verify, ExecutionBatchReplay + envelope integrity check 4 months ago
  • protocol
    Add kaysentinel-protocol crate: implementation-neutral shared error type (PR 1 / File 1) 4 months ago
  • ssr
    Add Rust runtime workspace (cse ABI crate + workspace scaffold) 4 months ago
  • ssz
    Add SSZ decoders with round-trip tests; add live-Geth validation runbook 4 months ago
  • verify
    Complete Gate 2: semantic replay reducer + capstone full-pipeline integration test (Go JSON to Gate 2 verification) 4 months ago
  • Cargo.lock
    2.29 kB
    Add kaysentinel-protocol crate: implementation-neutral shared error type (PR 1 / File 1) 4 months ago
  • Cargo.toml
    251 Bytes
    Implement Layer 2 Bridge Engine: Go event stream buffering + translation to CanonicalSemanticEvent 4 months ago