cairo-vm 2.0.1

Blazing fast Cairo interpreter
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

#!/usr/bin/env python3

import sys

def main():
    filename1 = sys.argv[1]
    filename2 = sys.argv[2]

    with open(filename1, 'rb') as f1, open(filename2, 'rb') as f2:
        compare_memory_file_contents(f1.read(), f2.read())

def compare_memory_file_contents(cairo_raw_mem, cairo_rs_raw_mem):
    cairo_mem = read_memory_file_contents(cairo_raw_mem)
    cairo_rs_mem = read_memory_file_contents(cairo_rs_raw_mem)

    assert len(cairo_mem) == len(cairo_rs_mem), f'len(cairo_mem)={len(cairo_mem)} len(cairo_mem)={len(cairo_rs_mem)}'
    if cairo_mem != cairo_rs_mem:
        print(f'Mismatch between cairo_lang and cairo-vm')
        print('keys in cairo_lang but not cairo-vm:')
        for k in cairo_mem:
            if k in cairo_rs_mem:
                continue
        print(f'{k}:{cairo_mem[k]}')
        print('keys in cairo-vm but not cairo_lang:')
        for k in cairo_rs_mem:
            if k in cairo_mem:
                continue
            print(f'{k}:{cairo_rs_mem[k]}')
        print('mismatched values (cairo_lang <-> cairo-vm)):')
        for k in cairo_rs_mem:
            if k not in cairo_mem:
                continue
            if cairo_rs_mem[k] == cairo_mem[k]:
                continue
            print(f'{k}:({cairo_mem[k]} <-> {cairo_rs_mem[k]})')
        exit(1)

def read_memory_file_contents(raw_mem_content) -> {}:
        mem = {}
        assert len(raw_mem_content) % 40 == 0, f'Malformed memory file'
        chunks = len(raw_mem_content) // 40
        for i in range(0, chunks):
            chunk = raw_mem_content[i*40:(i+1)*40]
            k, v = int.from_bytes(chunk[:8], 'little'), int.from_bytes(chunk[8:], 'little')
            assert k not in mem, f'Address {k} has two values'
            mem[k] = v
        assert len(mem) * 40 == len(raw_mem_content), f'Malformed memory file'
        return mem

if __name__ == '__main__':
    main()