Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

sound run support #114

Merged
merged 81 commits into from
Dec 27, 2024
Merged

sound run support #114

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
81 commits
Select commit Hold shift + click to select a range
9289516
Add account verification hints and utility functions
codyx Dec 6, 2024
53c45fd
Merge branch 'rust-hints' into hints/account_verifier
codyx Dec 6, 2024
e79dc7d
input types defs
Okm165 Dec 9, 2024
fde35c9
fixes
Okm165 Dec 9, 2024
44afa9e
verifier hints refactors
Okm165 Dec 9, 2024
fb7be94
header_verifier hint refactor
Okm165 Dec 9, 2024
e463c42
header hints refined
Okm165 Dec 9, 2024
7b5714a
header_verifier one mmr per batch
Okm165 Dec 10, 2024
64a96c6
compiler fixes
Okm165 Dec 10, 2024
2dea6fd
Add verifier\'s verify hints
codyx Dec 10, 2024
8dc973b
hints refactored
Okm165 Dec 10, 2024
48cd989
fixes
Okm165 Dec 10, 2024
c794fcb
Merge pull request #115 from HerodotusDev/hints/verifiers-verify
codyx Dec 10, 2024
49cb27b
Add dry run and run input hints with corresponding implementations
codyx Dec 10, 2024
cd1cb30
alloy provider
Okm165 Dec 11, 2024
1303193
indexer provider
Okm165 Dec 11, 2024
9cc0db7
structs renamed
Okm165 Dec 11, 2024
5bf6a52
Enhance hint processing with new account verifier hints and utility f…
codyx Dec 11, 2024
f7f7816
Refactor account verifier hints and utility functions
codyx Dec 11, 2024
f7102e3
key set
Okm165 Dec 11, 2024
1a7c63f
wip
Okm165 Dec 12, 2024
5a68240
syscall handler keys saving
Okm165 Dec 12, 2024
b919084
Refactor account verifier and utility functions
codyx Dec 12, 2024
d01564b
dry run entrypoint
Okm165 Dec 13, 2024
db12227
address chunked
Okm165 Dec 13, 2024
92fe0b1
Fetch keys trait
Okm165 Dec 13, 2024
3297a14
no felts in types - handle them in hints not in types
Okm165 Dec 13, 2024
3deb96c
Add block_tx_verifier related hints
codyx Dec 13, 2024
02e6029
Add header verifier hints
codyx Dec 13, 2024
881d4d9
Add receipt verifier hints
codyx Dec 13, 2024
9a881b9
header proofs fecher
Okm165 Dec 14, 2024
4ca020a
proof fetcher fixes
Okm165 Dec 16, 2024
4c45bca
fix
Okm165 Dec 16, 2024
226eba9
Hotfixes
codyx Dec 16, 2024
0b614db
Add storage item verifier (evm)
codyx Dec 16, 2024
ae6e57f
fetch abstracted
Okm165 Dec 16, 2024
a577ed6
data manip fixes & refactor
Okm165 Dec 16, 2024
0b8de82
Merge branch 'sound-run' into hints/verifiers
Okm165 Dec 16, 2024
d52ab39
mmr path writearg fix
Okm165 Dec 16, 2024
672ad3f
Rewrite
codyx Dec 16, 2024
d601ab5
Merge branch 'hints/verifiers' of github.com:HerodotusDev/hdp-cairo i…
codyx Dec 16, 2024
6eb41b8
Merge pull request #116 from HerodotusDev/hints/verifiers
Okm165 Dec 16, 2024
53bb878
crates reorg (major)
Okm165 Dec 16, 2024
1ec36b8
proof fetcher
Okm165 Dec 16, 2024
fd87bfa
proof fetcher & batching refactor
Okm165 Dec 17, 2024
def5bcc
sound_run
Okm165 Dec 17, 2024
7b57649
major crates reorg
Okm165 Dec 17, 2024
5b393a6
provider reduced to indexer
Okm165 Dec 17, 2024
eb3d837
format
Okm165 Dec 18, 2024
37ab741
rm unused
Okm165 Dec 18, 2024
bb8685d
syscall_handler crate extraction
Okm165 Dec 18, 2024
44ff743
common hints extracted
Okm165 Dec 18, 2024
b885b7c
sound_run sketched
Okm165 Dec 18, 2024
7fb6fe9
header mmr proofs verified
Okm165 Dec 19, 2024
0ac0c2d
tmp
Okm165 Dec 20, 2024
bff0a05
wip resolving memory issues
Okm165 Dec 22, 2024
ee605b8
cleanuped working le_address_chunks_to_felt
Okm165 Dec 22, 2024
4ecb1cf
hint fixes and impl fixes soundrun verifications working
Okm165 Dec 23, 2024
c1981ba
celanup
Okm165 Dec 23, 2024
b456b64
automatic build
Okm165 Dec 23, 2024
b6d0c54
cairo1 folder rename
Okm165 Dec 24, 2024
564c72a
build script native cargo support for changes
Okm165 Dec 24, 2024
0024887
bootloader task execution in sound run
Okm165 Dec 24, 2024
462b81b
fixes
Okm165 Dec 24, 2024
a213bda
sound run syscall handler vip
Okm165 Dec 24, 2024
5b2e6fd
sound run functional!
Okm165 Dec 25, 2024
891db4e
docs & example & concurrent fetcher
Okm165 Dec 25, 2024
ec046f6
example input fix
Okm165 Dec 25, 2024
03b9fbb
fetcher fix
Okm165 Dec 25, 2024
af99553
fetcher progress bars
Okm165 Dec 25, 2024
58c1d48
sort
Okm165 Dec 25, 2024
905999a
tracing logger debug msgs
Okm165 Dec 26, 2024
1c3d7f4
multi support sketch
Okm165 Dec 26, 2024
eda4b05
eth_getAccount depricated
Okm165 Dec 26, 2024
97162b4
rlp decoding fixes
Okm165 Dec 27, 2024
6193a3e
tests & endianness fixes
Okm165 Dec 27, 2024
4cd1973
tests
Okm165 Dec 27, 2024
58598f2
header and storage testing
Okm165 Dec 27, 2024
e253a2a
fmt
Okm165 Dec 27, 2024
9e84832
README
Okm165 Dec 27, 2024
5d92d44
README fix
Okm165 Dec 27, 2024
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
29 changes: 3 additions & 26 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
# Virtual Environment
venv/
.profiling/

# Python Artifacts
__pycache__/
Expand All @@ -11,10 +10,6 @@ __pycache__/
build/
dist/

# Data Files
/src/single_chunk_processor/data/*.json
/src/single_chunk_processor/data/*.zip

# Environment Files
*.env

Expand All @@ -30,34 +25,16 @@ out/
.gas-snapshot
.encryptedKey
broadcast/

# Node.js
node_modules/
package-lock.json

# System Files
.DS_Store
src/.DS_Store

# Solidity Verifier
solidity-verifier/lib/*

# Cairo VM
cairo-vm

# HDP
hdp-test/
hdp/

*.memory
*.trace

# Whitelist - these files should not be ignored
!tests/cairo_programs/fixtures/*.json
!tools/js/package.json
!*_contract.json
!packages/cairo-lang-0.13.1.zip

# Scarb & snfoundry
target
.snfoundry_cache/
.cargo

!examples/*.json
1 change: 0 additions & 1 deletion .nvmrc
View file
Open in desktop

This file was deleted.

Loading
Loading