https://github.com/DelphinusLab/halo2ecc-s

A re-implemented ECC circuits with halo2.
https://github.com/DelphinusLab/halo2ecc-s

Last synced: 2 months ago
JSON representation

A re-implemented ECC circuits with halo2.

• Host: GitHub
• URL: https://github.com/DelphinusLab/halo2ecc-s
• Owner: DelphinusLab
• License: mit
• Created: 2022-11-03T13:22:43.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-08-24T00:30:42.000Z (5 months ago)
• Last Synced: 2024-08-24T12:03:43.264Z (5 months ago)
• Language: Rust
• Homepage:
• Size: 323 KB
• Stars: 25
• Watchers: 2
• Forks: 12
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-halo2 - DelphinusLab's BN256 and BLS12-381 pairings

README

        
# halo2ecc-s

Re-implement an ecc circuits with halo2.

## Optimizations

1. Generate witness outside of synthesize.

2. Support multi-threading for witness generation.

3. Use 3 limbs for bn256 Fp over Fr integer.

4. Reduce lookup.

5. Use select chip to reduce bisect points in MSM.

## Pairing

1. Support bn256 pairing check over bn256 Fr circuit. See `test_bn256_pairing_chip_over_bn256_fr` for usage.

2. Support bls12_381 pairing check over bn256 Fr circuit. See `test_bls12_381_pairing_chip_over_bn256_fr` for usage.