Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
59 commits
Select commit Hold shift + click to select a range
72d0478
feat: aggregated-mode structure + silly sp1 program
MarcosNicolau Mar 28, 2025
7a95c59
feat: interfaces + basic service to run sp1
MarcosNicolau Mar 28, 2025
0a46e9c
feat: sp1 aggregation program
MarcosNicolau Mar 28, 2025
4aa0e46
refactor: rename libs and functions
MarcosNicolau Mar 29, 2025
a0aa4af
feat: prove feature to not run prover locally
MarcosNicolau Mar 29, 2025
7065367
feat: proof aggregation service contract
MarcosNicolau Mar 30, 2025
6f2b090
feat: proof aggregation service deploy scripts
MarcosNicolau Mar 30, 2025
38eea41
chore: update anvil state json
MarcosNicolau Mar 30, 2025
993333d
refactor: use mock client for mock proves
MarcosNicolau Mar 30, 2025
69db30c
feat: verify proofs
MarcosNicolau Mar 31, 2025
943b83d
refactor: folder structure
MarcosNicolau Mar 31, 2025
051c882
refactor: move files around more
MarcosNicolau Mar 31, 2025
6ffb456
feat: proof aggregator backend
MarcosNicolau Mar 31, 2025
c674b3b
feat: merkle tree hash with keccak
MarcosNicolau Mar 31, 2025
bb7f7d2
fix: write proofs to sp1 stdin
MarcosNicolau Mar 31, 2025
554abb1
feat: verify supported proofs
MarcosNicolau Mar 31, 2025
4fa59f4
feat: sign transaction + merkle root computation
MarcosNicolau Mar 31, 2025
8885b02
feat: backend initialization
MarcosNicolau Mar 31, 2025
bcab0d1
feat: load local proofs and add to proof aggregator
MarcosNicolau Mar 31, 2025
4645f14
fix: skip when no proofs in queue
MarcosNicolau Mar 31, 2025
7ff2d4c
feat: set proof as missed on error
MarcosNicolau Mar 31, 2025
0217c99
docs: aggregation mode readme
MarcosNicolau Mar 31, 2025
7d4e14b
feat: read config from yaml file
MarcosNicolau Mar 31, 2025
ff12d58
chore: add config files + make commands
MarcosNicolau Mar 31, 2025
99a6a37
feat: s3 service
MarcosNicolau Mar 31, 2025
f9a8acc
refactor: move queue to its own struct
MarcosNicolau Mar 31, 2025
f7ed7b9
feat: proofs fetcher
MarcosNicolau Mar 31, 2025
cef6e1a
feat: main method initializer
MarcosNicolau Mar 31, 2025
6fc017d
chore: deps
MarcosNicolau Mar 31, 2025
b5c7aa3
feat: fetch logs instead of listening for events via ws
MarcosNicolau Apr 1, 2025
86a2815
refactor: remove vk from sp1 proof
MarcosNicolau Apr 1, 2025
1ab8c7e
chore: add more tracing logs
MarcosNicolau Apr 1, 2025
1be8530
feat: remove queue and returns proofs from fetcher
MarcosNicolau Apr 1, 2025
93fcccd
chore: update aligned service manager abi
MarcosNicolau Apr 1, 2025
1935850
feat: aggregated proof getter for ProofAggregationService
MarcosNicolau Apr 1, 2025
cd20c34
docs: update readme instructions
MarcosNicolau Apr 1, 2025
428ac5d
chore: update proof aggregator config
MarcosNicolau Apr 1, 2025
407808b
feat: get block number based on provided config param
MarcosNicolau Apr 1, 2025
9f94d11
feat: remove looping and run service only once
MarcosNicolau Apr 1, 2025
db5a2b0
docs: update readme instructions
MarcosNicolau Apr 1, 2025
2a4791d
feat: send blob transaction
MarcosNicolau Apr 1, 2025
18be091
fix: start_proof_aggregator_local_with_proving command
MarcosNicolau Apr 1, 2025
34a0c55
Fix readme and makefile
MauroToscano Apr 3, 2025
7efb80e
Merge branch 'feat/aggregation-mode' of github.com:yetanotherco/align…
MauroToscano Apr 3, 2025
28757e0
feat: attach blob to contract transaction instead of being separate
MarcosNicolau Apr 3, 2025
8ba0339
feat: take blob versioned hash instead of blob tx in verify contract
MarcosNicolau Apr 3, 2025
3406e43
feat(contracts): merge events into a single one with a new status field
MarcosNicolau Apr 3, 2025
0f07b05
Aggregation mode simplification (#1845)
MauroToscano Apr 3, 2025
b1596be
Remove non working sp1 contract
MauroToscano Apr 3, 2025
96ed926
Compile contracts
MauroToscano Apr 3, 2025
559833d
Fix reqwest custom user-agent for S3
Mechanix97 Apr 3, 2025
0984bd7
fix: merkle tree and blob data exceeding BLS_MODULUS (#1848)
MarcosNicolau Apr 4, 2025
078a648
remove private key from config file
MarcosNicolau Apr 4, 2025
1776146
docs: add description to makefile targets
JuArce Apr 4, 2025
d15e9a9
fix: rename readme.md to README.md
JuArce Apr 4, 2025
d69a348
fix: set better error messages
JuArce Apr 4, 2025
cad7912
fix: set better error messages
JuArce Apr 7, 2025
98e4223
refactor: use from_kzg to avoid casting to alloy types
MarcosNicolau Apr 7, 2025
31f6cf7
fix: remove unused imports
JuArce Apr 7, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -31,3 +31,6 @@
[submodule "claim_contracts/lib/openzeppelin-contracts"]
path = claim_contracts/lib/openzeppelin-contracts
url = https://github.com/OpenZeppelin/openzeppelin-contracts
[submodule "contracts/lib/sp1-contracts"]
path = contracts/lib/sp1-contracts
url = https://github.com/succinctlabs/sp1-contracts
8 changes: 7 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -150,6 +150,13 @@ anvil_start_with_block_time_with_more_prefunded_accounts:
@echo "Starting Anvil..."
anvil --load-state contracts/scripts/anvil/state/alignedlayer-deployed-anvil-state.json --block-time 7 -a 2000

__AGGREGATION_MODE__: ## ____
start_proof_aggregator_local: ## Start the proof aggregator locally using Mock Verifier Contract
cargo run --manifest-path ./aggregation_mode/Cargo.toml --release -- config-files/config-proof-aggregator.yaml

start_proof_aggregator_local_with_proving: ## Start the proof aggregator locally using SP1 Verifier Contract
cargo run --manifest-path ./aggregation_mode/Cargo.toml --release --features prove -- config-files/config-proof-aggregator.yaml

_AGGREGATOR_:

build_aggregator:
Expand Down Expand Up @@ -588,7 +595,6 @@ aligned_get_user_balance_holesky:
--network holesky \
--user_addr $(USER_ADDR)


__GENERATE_PROOFS__:
# TODO add a default proving system

Expand Down
Loading
Loading