d-flex flex-column width-full">

proof(merkle): Stage 1 helper lemmas (index / splitAt / transport)

4cfd5dd

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

.github/workflows/instant-sync.yml on: push 1

.github/workflows/dogfood-gate.yml on: push 1

ECHIDNA Validation on: push 1

ECHIDNA Totality & Safety Audit

TypeScript/JavaScript Blocker on: pull_request

check

E2E and Integration Tests on: pull_request 2

E2E tests

Integration tests

Guix/Nix Package Policy on: pull_request

check

Security Policy on: pull_request

check

ECHIDNA Validation on: pull_request 1

ECHIDNA Totality & Safety Audit

CodeQL Security Analysis on: pull_request

analyze (actions, none)

.github/workflows/hypatia-scan.yml on: pull_request 1

Dependabot Auto-Merge on: pull_request

automerge

NPM/Bun Blocker on: pull_request

check

RSR Anti-Pattern Check on: pull_request

antipattern-check

Code Quality on: pull_request 1

lint

docs

Zig FFI on: pull_request 1

Zig FFI build + test

Secret Scanner on: pull_request 1

scan / trufflehog

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL