Skip to content

chore: initial repo setup#2

Merged
MegaRedHand merged 4 commits into
mainfrom
initial-repo-setup
Dec 23, 2025
Merged

chore: initial repo setup#2
MegaRedHand merged 4 commits into
mainfrom
initial-repo-setup

Conversation

@MegaRedHand
Copy link
Copy Markdown
Collaborator

This PR adds the initial skeleton for the expected crates we'll have

@MegaRedHand MegaRedHand merged commit c31b17d into main Dec 23, 2025
@MegaRedHand MegaRedHand deleted the initial-repo-setup branch December 23, 2025 19:28
@claude claude Bot mentioned this pull request Jan 30, 2026
3 tasks
MegaRedHand added a commit that referenced this pull request May 14, 2026
* lib.rs (#5): decode proposer proposal pubkey once and reuse it for the
  singleton Type-1 wrap and the merge inputs; was deserialized twice on
  the crypto hot path.
* store.rs (#4): block / attestation slot u64→u32 overflow now maps to
  a dedicated `SlotOutOfRange(u64)` variant instead of being misreported
  as `ProposerSignatureVerificationFailed`.
* store.rs (#1): explicitly document the security caveat of the empty-
  SNARK structural-only branch (proposer XMSS not crypto-verified) and
  note the two upstream mitigations (STF `process_block_header` rejects
  wrong proposer_index; per-attestation crypto still runs at gossip
  ingestion). The structural log line now flags it explicitly.
* crypto/src/lib.rs (#2): outer Type-2 decompression failure in
  `split_type_2_by_message` returns a new `DeserializationFailed`
  variant instead of `ChildDeserializationFailed(0)`, which had implied
  a child at index 0 had failed.
* types/src/block.rs (#3): annotate the intentional duplication of
  proof bytes between `TypeOneMultiSignature::info.proof` and the outer
  `proof` field — mirrors leanSpec PR #717's shape so a Type-1 embedded
  inside a Type-2's info[i] reads the same as a standalone Type-1.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant