Skip to content

Claude/symmetric key proofs lgsx g#29

Merged
sweis merged 3 commits intomainfrom
claude/symmetric-key-proofs-lgsxG
Feb 26, 2026
Merged

Claude/symmetric key proofs lgsx g#29
sweis merged 3 commits intomainfrom
claude/symmetric-key-proofs-lgsxG

Conversation

@sweis
Copy link
Copy Markdown
Owner

@sweis sweis commented Feb 26, 2026

No description provided.

Covers two-phase setup (Powers of Tau + circuit-specific), existing
BN254 ceremonies (Perpetual PoT, Aztec Ignition), arkworks API
limitations, and snarkjs/circom compatibility paths.

https://claude.ai/code/session_01LJyL1uYXD1JHMq8Q3v7shM
Compares Poseidon (~240 constraints) vs SHA-256 (~30K) for in-circuit
hashing. Covers arkworks support, transparent proof systems, hybrid
design (Poseidon in-circuit + SHA-256 outside), and token format
implications.

https://claude.ai/code/session_01LJyL1uYXD1JHMq8Q3v7shM
Constructs a malicious circuit where K2 is the witness but key_hash
comes from a different key K1. Verifies that the shared-wire binding
in the R1CS prevents a prover from using different keys for the
SHA-256 key hash and HMAC constraints.

https://claude.ai/code/session_01LJyL1uYXD1JHMq8Q3v7shM
@sweis sweis merged commit ff513d1 into main Feb 26, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants