Skip to content

Audit: ethereum#271

Open
guil-lambert wants to merge 1 commit into
mainfrom
Audit/ethereum
Open

Audit: ethereum#271
guil-lambert wants to merge 1 commit into
mainfrom
Audit/ethereum

Conversation

@guil-lambert
Copy link
Copy Markdown
Owner

No description provided.

@vercel
Copy link
Copy Markdown

vercel Bot commented May 25, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

1 Skipped Deployment
Project Deployment Actions Updated (UTC)
defipunkd Ignored Ignored May 25, 2026 10:51pm

@github-actions
Copy link
Copy Markdown

DEFI@home validator — all submissions valid

data/submissions/ethereum/all/Grok-2026-05-25.json

warnings:

  • [#0] model: model "grok-built-by-xai" does not run with extended thinking; quorum weight reduced by 80% — re-run with a thinking variant (claude-opus-4-7, gpt-*-thinking, gemini-3-pro, openai o-series) to restore full weight
  • [Feat/protocol page upgrades #1] model: model "grok-built-by-xai" does not run with extended thinking; quorum weight reduced by 80% — re-run with a thinking variant (claude-opus-4-7, gpt-*-thinking, gemini-3-pro, openai o-series) to restore full weight
  • [Feat/defi at home #2] grading_basis: grading_basis="off-chain-only" but evidence[] contains on-chain URLs — set basis to "on-chain" or "mixed" to reflect what was actually read
  • [Feat/defi at home #2] grading_basis: grading_basis="off-chain-only"; quorum weight reduced by 70% — this is the documented fallback for environments without on-chain fetch capability, not a substitute for on-chain verification
  • [Feat/defi at home #2] unknowns: grading_basis="off-chain-only" requires at least one unknowns[] entry with a "-offchain" suffix documenting the failed on-chain fetch attempt (per preamble Rule 18); downweighted further when missing
  • [Feat/defi at home #2] model: model "grok-built-by-xai" does not run with extended thinking; quorum weight reduced by 80% — re-run with a thinking variant (claude-opus-4-7, gpt-*-thinking, gemini-3-pro, openai o-series) to restore full weight
  • [Feat/defi at home ci #3] grading_basis: grading_basis="off-chain-only"; quorum weight reduced by 70% — this is the documented fallback for environments without on-chain fetch capability, not a substitute for on-chain verification
  • [Feat/defi at home ci #3] unknowns: grading_basis="off-chain-only" requires at least one unknowns[] entry with a "-offchain" suffix documenting the failed on-chain fetch attempt (per preamble Rule 18); downweighted further when missing
  • [Feat/defi at home ci #3] model: model "grok-built-by-xai" does not run with extended thinking; quorum weight reduced by 80% — re-run with a thinking variant (claude-opus-4-7, gpt-*-thinking, gemini-3-pro, openai o-series) to restore full weight
  • [[DEFI@home] lido / ability-to-exit submission #4] model: model "grok-built-by-xai" does not run with extended thinking; quorum weight reduced by 80% — re-run with a thinking variant (claude-opus-4-7, gpt-*-thinking, gemini-3-pro, openai o-series) to restore full weight
    auto-fixes applied:
  • [#0] stripped null at protocol_metadata.voting_token
  • [#0] stripped null at protocol_metadata.bug_bounty_url
  • [#0] stripped null at protocol_metadata.security_contact
  • [#0] stripped null at protocol_metadata.deployed_contracts_doc
  • [#0] dropped invalid evidence[2].commit ("N/A (repo-level)")
  • [Feat/protocol page upgrades #1] stripped null at protocol_metadata.voting_token
  • [Feat/protocol page upgrades #1] stripped null at protocol_metadata.bug_bounty_url
  • [Feat/protocol page upgrades #1] stripped null at protocol_metadata.security_contact
  • [Feat/protocol page upgrades #1] stripped null at protocol_metadata.deployed_contracts_doc
  • [Feat/defi at home #2] stripped null at protocol_metadata.voting_token
  • [Feat/defi at home #2] stripped null at protocol_metadata.bug_bounty_url
  • [Feat/defi at home #2] stripped null at protocol_metadata.security_contact
  • [Feat/defi at home #2] stripped null at protocol_metadata.deployed_contracts_doc
  • [Feat/defi at home ci #3] stripped null at protocol_metadata.voting_token
  • [Feat/defi at home ci #3] stripped null at protocol_metadata.bug_bounty_url
  • [Feat/defi at home ci #3] stripped null at protocol_metadata.security_contact
  • [Feat/defi at home ci #3] stripped null at protocol_metadata.deployed_contracts_doc
  • [[DEFI@home] lido / ability-to-exit submission #4] stripped null at protocol_metadata.voting_token
  • [[DEFI@home] lido / ability-to-exit submission #4] stripped null at protocol_metadata.bug_bounty_url
  • [[DEFI@home] lido / ability-to-exit submission #4] stripped null at protocol_metadata.security_contact
  • [[DEFI@home] lido / ability-to-exit submission #4] stripped null at protocol_metadata.deployed_contracts_doc
  • [[DEFI@home] lido / ability-to-exit submission #4] dropped invalid evidence[1].commit ("v1.3.0 or dev branch match")

@guil-lambert
Copy link
Copy Markdown
Owner Author

@coderabbitai: can you fix the copy button for ether.fi, it fails to copy when clicked.

I suspect this is because of the period in the protocol name

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant