https://github.com/kayabaNerve/full-chain-membership-proofs

https://github.com/kayabaNerve/full-chain-membership-proofs

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/kayabaNerve/full-chain-membership-proofs
• Owner: kayabaNerve
• Created: 2023-06-17T03:48:34.000Z (over 1 year ago)
• Default Branch: develop
• Last Pushed: 2024-04-27T01:46:05.000Z (8 months ago)
• Last Synced: 2024-04-27T02:34:23.563Z (8 months ago)
• Language: Rust
• Size: 3.63 MB
• Stars: 17
• Watchers: 1
• Forks: 1
• Open Issues: 67
• Metadata Files:
  • Readme: README.md
  • Audit: audits/Cypher Stack crypto March 2023/Audit.pdf

Awesome Lists containing this project

• awesome-monero - Full chain membership proofs

README

        
# Curve Trees

This branch hosts a curve trees proof of concept, built with the explicit goal

of being transformed into an deployable library.

The crypto libraries are largely copied from Serai. Unique to this effort are:

- tevone: An implementation of the first curve cycle mentioned in

  https://github.com/monero-project/research-lab/issues/100#issuecomment-1437597717.

- ecip: Construction of elliptic curve divisors, intended for usage as commented

  by Eagen in their EC IP work.

- bulletproofs-plus: An implementation of BP+, keeping strictly to the paper.

- curve-trees: An implementation of curve trees.

- copz-dleq: An implementation of COPZ's cross-group DLEq proof, enabling Monero

  to move to a curve cycle.

The READMEs of each provide further context on their status.