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.
There are some instances where aggregation mode is referred as slow mode, these need to be updated to Aggregation mode
The explorer is reading gasCostPerProof from `batcher-payment-service.holesky.config.json`. There is a big miscalculation of gas cost per proof in the explorer. To make this simpler and more reliable, the payment service...
# Description - The `BatcherPaymentService` deployment script using Forge performs a two‐step deployment and initialization process. Since these transactions are broadcast individually, there is a risk that a malicious actor ...
Add chain id to batcher payments to fix issue where batcher could reuse signatures across chains. Now user signs hash of verification data + nonce + chain id Contract verifies...
Draft pr updating the ffi bindings to handle zero size and null length inputs. @NicolasRampoldi @srosati The Halo2 bindings will need more work and updates within our fork.
# Description - This PR addresses an issue where user balances remained unlocked indefinitely after the first time `withdraw` was called. This meant that once a user's funds were unlocked...
After unlocking a user balance once, they remain “unlocked” and thus can withdraw funds at will. The users would just need to lock themselves again after withdrawals to have their...
To verify signed data, direct keccak256 hashes are checked. It would be better to utilize EIP-712 style hashing with a domain separator to prevent cross-network replay attacks. For example, a...
Right now explorer db commands aren't clear that are about the explorer, these should be updated.
# Mina verifiers Implements Mina State verifier and Mina Account inclusion verifier. ## Components - **Mina State verifier:** Runs a Pickles verification of a Mina State proof and checks that...
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.