ziskos 1.1.0-alpha

Guest runtime and entrypoint for programs targeting the ZisK zkVM
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
53
54
55
56
57

        .section ".note.GNU-stack","",@progbits
        .text
        .attribute      4, 16
        .attribute      5, "rv64im"
        .globl  memset
        .p2align        4
        .type   memset,@function
# memset(void *s, int c, size_t n)
# a0 = destination pointer (s)
# a1 = fill value (c) 
# a2 = byte count (n)
memset:
        bnez    a1, .L_memset_non_zero
        csrs    0x816, a0
        addi    x0, a2, 0
        ret

.L_memset_non_zero: 
        andi    a1, a1, 0xff            # Mask to byte value
        slli    a1, a1, 4
        la      t0, .Ljump_table
        add     t0, t0, a1
        jr      t0

        # csrs 0x816, a1; addi x0, a0, fill_byte; ret; nop
        # memset(a0, fill_byte, a2)

        # Jump table: 256 entries, each 16 bytes (4 instructions)
        .p2align 4
.Ljump_table:
.irp val, 0,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
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr
.irp val, 224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255
        csrs 0x816, a0; addi x0, a2, \val; ret; nop
.endr

        .size memset, .-memset
        .section .text.hot,"ax",@progbits