aligned_layer
aligned_layer copied to clipboard
yetanotherco
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
User shouldn't be forced to keep track of the transaction nonce when sending a proof to the Batcher. User's nonce must be optional. If no value is passed, the Batcher...
On the SDK's `submit_multiple()`, the `receive()` function will close the connection if the sender receives an error for any proof from the Batcher. This should be fixed, allowing the sender...
In #1325, the output of `submit_multiple_and_wait_verification` was changed to a `Vec` with: - `Ok()` meaning that the proof was included in a batch. - `Err()` meaning that the proof was...
# Description In `Submitting proofs -> Risc0 proof`, we have the following explanation ``` NOTE: As said above, Aligned currently supports Risc0 proofs from risc0-zkvm version v1.0.1. For generating proofs...
# TITLE ## Description Description of the pull request changes and motivation. ## Type of change Please delete options that are not relevant. - [ ] New feature - [...
## Description This PR removes the mock functionality from the Aligned Proof Aggregation Service contract, since it had no real uses. ## How to test To test this PR, you...
## Description This PR turns the fixed program IDs for Risc0 and SP1 to be part of a map (program ID -> proving system ID), to make the system more...
## Description This prs adds the proving system id as part of the proof commitments. This is to avoid a confusion between leaf hashes (proof commitments) and compression hashes (authenticity...
I exec the commands below: ```bash git clone https://github.com/yetanotherco/aligned_layer cd aligned_layer git checkout staging make deps make ethereum_package_start // !!error happen here!! ``` I pasted partial error logs here for...
Metadata
Owner
Metadata
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.