Skip to content

carrot_impl: add knowledge proof functions#270

Draft
jeffro256 wants to merge 3 commits intoseraphis-migration:fcmp++-stagefrom
jeffro256:knowledge_proofs
Draft

carrot_impl: add knowledge proof functions#270
jeffro256 wants to merge 3 commits intoseraphis-migration:fcmp++-stagefrom
jeffro256:knowledge_proofs

Conversation

@jeffro256
Copy link
Collaborator

@jeffro256 jeffro256 commented Dec 18, 2025

Goal

Add & integrate wallet knowledge proofs.

Privacy notes

Reserve proofs now have full sender anonymity and do not reveal amounts per input nor total amount in input set. Only that some set of on-chain enotes corresponding to a set of key images contain some amount greater or equal to the threshold.

Spend proofs retain sender anonymity of the spending transaction, which is now full-chain.

Thankfully, neither require the owning/spending wallet to remember input rerandomizations.

TODO:

  • Carrot output decoding
    • Crypto functions
    • wallet2 integration
  • Carrot tx proofs
    • Crypto functions
    • wallet2 integration
  • Carrot/FCMP++ spend proofs
    • Crypto functions
    • HW device interface
    • wallet2 integration
  • Carrot/FCMP++ reserve proofs
    • Crypto functions'
    • HW device interface
    • wallet2 integration

WeebDataHoarder added a commit to P2Pool-Observer/consensus that referenced this pull request Dec 26, 2025
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.

1 participant