Skip to content

Commit

Permalink
Merge branch 'main' into non-inclusion
Browse files Browse the repository at this point in the history
  • Loading branch information
petscheit authored Aug 19, 2024
2 parents f3983ea + f4db981 commit e977e86
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 11 deletions.
3 changes: 2 additions & 1 deletion .github/workflows/main.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@ jobs:
- name: Run Cairo tests
env:
RPC_URL_MAINNET: ${{ secrets.RPC_URL_MAINNET }}
RPC_URL: ${{ secrets.RPC_URL }}
run: source ./tools/make/cairo_tests.sh
- name: Run MPT tests
run: source ./tools/make/fuzzer.sh tests/fuzzing/mpt.cairo --ci
run: source ./tools/make/fuzzer.sh tests/fuzzing/mpt.cairo --ci
20 changes: 10 additions & 10 deletions lib/rlp_little.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -249,19 +249,19 @@ func assert_subset_in_key_be{range_check_ptr, bitwise_ptr: BitwiseBuiltin*}(

// Get the little endian 256 bit number from the extracted 64 bit le words array :
let key_subset_256_le = key_subset_to_uint256(key_subset, key_subset_len);
%{
key_subset_256_le = hex(ids.key_subset_256_le.low + ids.key_subset_256_le.high*2**128)[2:]
# print(f"Key subset 256 le: {key_subset_256_le}")
%}
// %{
// key_subset_256_le = hex(ids.key_subset_256_le.low + ids.key_subset_256_le.high*2**128)[2:]
// print(f"Key subset 256 le: {key_subset_256_le}")
// %}
let (key_subset_be_tmp: Uint256, n_bytes: felt) = uint256_reverse_endian_no_padding(
key_subset_256_le, pow2_array
);
%{
orig_key = hex(ids.key_be.low + ids.key_be.high*2**128)[2:]
key_subset = hex(ids.key_subset_be_tmp.low + ids.key_subset_be_tmp.high*2**128)[2:]
#print(f"Orig key: {orig_key}, n_nibbles={len(orig_key)}")
#print(f"Key subset: {key_subset}, n_nibbles={len(key_subset)}")
%}
// %{
// orig_key = hex(ids.key_be.low + ids.key_be.high*2**128)[2:]
// key_subset = hex(ids.key_subset_be_tmp.low + ids.key_subset_be_tmp.high*2**128)[2:]
// print(f"Orig key: {orig_key}, n_nibbles={len(orig_key)}")
// print(f"Key subset: {key_subset}, n_nibbles={len(key_subset)}")
// %}

// Cut nibble of the key subset if needed from the leftmost position. 0x123 -> 0x23
local key_subset_be: Uint256;
Expand Down

0 comments on commit e977e86

Please sign in to comment.