https://github.com/lambdaclass/aggregation_aligned_layer
https://github.com/lambdaclass/aggregation_aligned_layer
Last synced: 10 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/lambdaclass/aggregation_aligned_layer
- Owner: lambdaclass
- Created: 2024-03-01T14:52:53.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-03-08T03:34:59.000Z (over 2 years ago)
- Last Synced: 2025-07-10T20:45:14.752Z (11 months ago)
- Language: Rust
- Size: 599 KB
- Stars: 4
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Aggregataion Aligned Layer
## SP1 toolchain setup
First of all, install the SP1 toolchain. For more details visit the [sp1 installation guide](https://succinctlabs.github.io/sp1/getting-started/install.html).
```bash
curl -L https://sp1.succinct.xyz | bash
```
This will install sp1up, then simply follow the instructions on-screen, which will make the sp1up command available in your CLI. Then run
```bash
sp1up
```
Verify your installation running
```bash
cargo prove --version
```
## Arkworks BN254 pairing verification
### Build the arkworks pairing verification program
```bash
make build_ark_bn254_pairing_program
```
### Generate proof of the pairing verification
```bash
make sp1_prove_ark_bn254_pairing
```
## Arkworks BLS12-381 pairing verification
### Build the arkworks pairing verification program
```bash
make build_ark_pairing_program
```
### Generate proof of the pairing verification
```bash
make sp1_prove_ark_pairing
```
## Arkworks BN254 Groth16 verifier
### Build the arkworks Groth16 verifier program
```bash
make build_ark_groth16_verifier
```
### Generate proof of the Groth16 verification
```bash
make sp1_prove_ark_groth16
```
## Lambdaworks pairing verification
### Build the arkworks pairing verification program
```bash
make build_lw_pairing_program
```
### Generate proof of the pairing verification
```bash
make sp1_prove_lw_pairing
```
## Lambdaworks PLONK verifier
### Build Lambdaworks PLONK verifier program
```bash
make build_lw_plonk_program
```
### Generate SP1 proof of PLONK verifier
```bash
make sp1_prove_lw_plonk
```
## Acknoledgements
Thanks to [SuccintLabs](https://succinct.xyz/) for the development of the [SP1 zkVM](https://github.com/succinctlabs/sp1) which was used for this proof of concept.