Hugging Face's logo 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

ethereum
formal-methods
evm
Model card Files Files and versions
xet
Community
kaysentinel / validation
9.38 kB
Ctrl+K
Ctrl+K
  • 3 contributors
History: 2 commits
karanjahpn
Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end
99a7168 5 days ago
  • engine.go
    2.57 kB
    Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end 5 days ago
  • gate1.go
    4.58 kB
    Add emes package, real Gate 1 verifier, harness; fix second deprecated-hook regression; tested end-to-end 7 days ago
  • normalizer.go
    2.23 kB
    Replace transcript with flat RawEvent design; add multiplexer + differential validator; fix 3 hook-signature bugs; tested end-to-end 5 days ago