Function TestMemoryEncodingDecoding

pkg/vm/vm_test.go:1292–1340

(t *testing.T)

}

func TestMemoryEncodingDecoding(t *testing.T) {
	memory := []*f.Element{
		new(f.Element).SetUint64(4),
		new(f.Element).SetUint64(15),
		nil,
		nil,
		new(f.Element).SetUint64(8),
		nil,
		new(f.Element).SetUint64(2),
	}

	encodedMemory := EncodeMemory(memory)

	// the array size depends on the ammount of non nil elements
	// it stores (addres, felt) encoded in little endian in a consecutive way
	expected := make([]byte, 4*(8+32))

	//first element
	binary.LittleEndian.PutUint64(expected[0:8], 0)
	f.LittleEndian.PutElement((*[32]byte)(expected[8:40]), *new(f.Element).SetUint64(4))
	//second element
	binary.LittleEndian.PutUint64(expected[40:48], 1)
	f.LittleEndian.PutElement((*[32]byte)(expected[48:80]), *new(f.Element).SetUint64(15))
	//third element
	binary.LittleEndian.PutUint64(expected[80:88], 4)
	f.LittleEndian.PutElement((*[32]byte)(expected[88:120]), *new(f.Element).SetUint64(8))
	//fourth element
	binary.LittleEndian.PutUint64(expected[120:128], 6)
	f.LittleEndian.PutElement((*[32]byte)(expected[128:160]), *new(f.Element).SetUint64(2))

	require.Equal(
		t,
		len(expected),
		len(encodedMemory),
	)
	require.Equal(
		t,
		expected,
		encodedMemory,
	)

	// testing decoding
	decodedMemory := DecodeMemory(encodedMemory)
	require.Equal(
		t,
		memory,
		decodedMemory,
	)
}

// ==============
// Util Functions