Merged

[Proof] Implement scalable proof validation#1031
red-0ne merged 14 commits intomainfrom feat/proof-endblocker

[Proof] Implement scalable proof validation#1031

Merged

red-0ne merged 14 commits intomainfrom feat/proof-endblocker

Jan 30, 2025

+1,942-348

Commits on Jan 17, 2025

feat: scalable proof validation
red-0ne
committedJan 17, 2025
fix: Go lint slice initialization
red-0ne
committedJan 17, 2025

Commits on Jan 22, 2025

Empty commit
okdas
committedJan 22, 2025

Commits on Jan 23, 2025

Merge remote-tracking branch 'origin/main' into feat/proof-endblocker
red-0ne
committedJan 23, 2025
Merge remote-tracking branch 'origin/main' into feat/proof-endblocker
red-0ne
committedJan 23, 2025

Commits on Jan 24, 2025

chore: address review change requests
red-0ne
committedJan 24, 2025
Merge remote-tracking branch 'origin/main' into feat/proof-endblocker
red-0ne
committedJan 24, 2025
Merge remote-tracking branch 'origin/main' into feat/proof-endblocker
red-0ne
committedJan 24, 2025

Commits on Jan 29, 2025

chore: Address reivew change requests
red-0ne
committedJan 29, 2025
Merge remote-tracking branch 'origin/main' into feat/proof-endblocker
red-0ne
committedJan 29, 2025
fix: Use fix smt verification concurrency
red-0ne
committedJan 29, 2025
Empty commit
red-0ne
committedJan 29, 2025
Merge branch 'main' into feat/proof-endblocker
Olshansk
authoredJan 29, 2025

Commits on Jan 30, 2025

chore: consolidate trie specs
red-0ne
committedJan 30, 2025