#include <stdint.h>
#include <stddef.h>
#include "stdlib.h"
#include "solana_sdk.h"
extern uint64_t solang_dispatch(SolParameters *param);
extern void __init_heap();
static const SolPubkey clock_address = {0x06, 0xa7, 0xd5, 0x17, 0x18, 0xc7, 0x74, 0xc9, 0x28, 0x56, 0x63,
0x98, 0x69, 0x1d, 0x5e, 0xb6, 0x8b, 0x5e, 0xb8, 0xa3, 0x9b, 0x4b,
0x6d, 0x5c, 0x73, 0x55, 0x5b, 0x21, 0x00, 0x00, 0x00, 0x00};
static const SolPubkey instructions_address = {0x06, 0xa7, 0xd5, 0x17, 0x18, 0x7b, 0xd1, 0x66, 0x35, 0xda, 0xd4,
0x04, 0x55, 0xfd, 0xc2, 0xc0, 0xc1, 0x24, 0xc6, 0x8f, 0x21, 0x56,
0x75, 0xa5, 0xdb, 0xba, 0xcb, 0x5f, 0x08, 0x00, 0x00, 0x00};
static const SolPubkey ed25519_address = {0x03, 0x7d, 0x46, 0xd6, 0x7c, 0x93, 0xfb, 0xbe, 0x12, 0xf9, 0x42,
0x8f, 0x83, 0x8d, 0x40, 0xff, 0x05, 0x70, 0x74, 0x49, 0x27, 0xf4,
0x8a, 0x64, 0xfc, 0xca, 0x70, 0x44, 0x80, 0x00, 0x00, 0x00};
#ifndef TEST
uint64_t entrypoint(const uint8_t *input)
{
SolParameters params;
uint64_t ret = sol_deserialize(input, ¶ms);
if (ret)
{
return ret;
}
params.ka_clock = NULL;
params.ka_instructions = NULL;
for (int account_no = 0; account_no < params.ka_num; account_no++)
{
const SolAccountInfo *acc = ¶ms.ka[account_no];
if (SolPubkey_same(&clock_address, acc->key))
{
params.ka_clock = acc;
}
else if (SolPubkey_same(&instructions_address, acc->key))
{
params.ka_instructions = acc;
}
}
__init_heap();
return solang_dispatch(¶ms);
}
#endif
uint64_t address_hash(uint8_t data[32])
{
uint64_t hash = 0;
uint32_t i;
for (i = 0; i < 32; i++)
{
hash += data[i];
}
return hash;
}
bool address_equal(void *a, void *b)
{
uint64_t *left = a;
uint64_t *right = b;
for (uint32_t i = 0; i < 4; i++)
{
if (left[i] != right[i])
{
return false;
}
}
return true;
}
struct ed25519_instruction_sig
{
uint16_t signature_offset;
uint16_t signature_instruction_index;
uint16_t public_key_offset;
uint16_t public_key_instruction_index;
uint16_t message_offset;
uint16_t message_size;
uint16_t message_instruction_index;
uint8_t public_key[SIZE_PUBKEY];
uint8_t signature[64];
uint8_t message[0];
};
struct ed25519_instruction
{
uint8_t num_signatures;
uint8_t padding;
struct ed25519_instruction_sig sig[0];
};
uint64_t signature_verify(uint8_t *public_key, struct vector *message, struct vector *signature, SolParameters *params)
{
if (params->ka_instructions)
{
uint16_t *data = (uint16_t *)params->ka_instructions->data;
uint64_t instr_count = data[0];
for (uint64_t instr_no = 0; instr_no < instr_count; instr_no++)
{
uint8_t *instr = params->ka_instructions->data + data[1 + instr_no];
uint64_t accounts = *((uint16_t *)instr);
instr += accounts * 33 + 2;
if (sol_memcmp(&ed25519_address, instr, sizeof(ed25519_address)))
{
continue;
}
instr += 2 + 32;
struct ed25519_instruction *ed25519 = (struct ed25519_instruction *)instr;
for (uint64_t sig_no = 0; sig_no < ed25519->num_signatures; sig_no++)
{
struct ed25519_instruction_sig *sig = &ed25519->sig[sig_no];
if (sig->public_key_instruction_index != instr_no || sig->signature_instruction_index != instr_no ||
sig->message_instruction_index != instr_no)
continue;
if (sol_memcmp(public_key, instr + sig->public_key_offset, SIZE_PUBKEY))
{
continue;
}
if (sol_memcmp(signature->data, instr + sig->signature_offset, 64))
{
continue;
}
if (sig->message_size != message->len)
{
continue;
}
if (sol_memcmp(message->data, instr + sig->message_offset, message->len))
{
continue;
}
return 0;
}
}
}
sol_log("could not find verified signature");
return 1;
}
struct clock_layout
{
uint64_t slot;
uint64_t epoch_start_timestamp;
uint64_t epoch;
uint64_t leader_schedule_epoch;
uint64_t unix_timestamp;
};
struct clock_layout *sol_clock(SolParameters *params)
{
if (!params->ka_clock)
{
sol_log("clock account missing from transaction");
sol_panic();
}
struct clock_layout *clock_data = (struct clock_layout *)params->ka_clock->data;
return clock_data;
}
struct account_data_header
{
uint32_t magic;
uint32_t returndata_len;
uint32_t returndata_offset;
uint32_t heap_offset;
};
struct chunk
{
uint32_t offset_next, offset_prev;
uint32_t length;
uint32_t allocated;
};
#define ROUND_UP(n, d) (((n) + (d) - 1) & ~(d - 1))
uint64_t account_data_alloc(SolAccountInfo *ai, uint32_t size, uint32_t *res)
{
void *data = ai->data;
struct account_data_header *hdr = data;
if (!size)
{
*res = 0;
return 0;
}
uint32_t offset = hdr->heap_offset;
uint32_t alloc_size = ROUND_UP(size, 8);
uint32_t offset_prev = 0;
for (;;)
{
struct chunk *chunk = data + offset;
if (!chunk->allocated)
{
if (!chunk->length)
{
offset += sizeof(struct chunk);
if (offset + alloc_size + sizeof(struct chunk) >= ai->data_len)
{
return ERROR_ACCOUNT_DATA_TOO_SMALL;
}
chunk->offset_next = offset + alloc_size;
chunk->offset_prev = offset_prev;
chunk->allocated = true;
chunk->length = size;
struct chunk *next = data + chunk->offset_next;
next->offset_prev = offset - sizeof(struct chunk);
next->length = 0;
next->offset_next = 0;
next->allocated = false;
*res = offset;
return 0;
}
else if (chunk->length < alloc_size)
{
}
else if (alloc_size + sizeof(struct chunk) + 8 > chunk->length)
{
chunk->allocated = true;
chunk->length = size;
*res = offset + sizeof(struct chunk);
return 0;
}
else
{
uint32_t next = chunk->offset_next;
uint32_t prev = offset;
uint32_t next_offset = offset + sizeof(struct chunk) + alloc_size;
chunk->offset_next = next_offset;
chunk->length = size;
chunk->allocated = true;
chunk = data + next_offset;
chunk->offset_prev = prev;
chunk->offset_next = next;
chunk->length = next - next_offset - sizeof(struct chunk);
chunk->allocated = false;
if (next)
{
struct chunk *chunk = data + next;
chunk->offset_prev = next_offset;
}
*res = offset + sizeof(struct chunk);
return 0;
}
}
offset_prev = offset;
offset = chunk->offset_next;
}
}
uint32_t account_data_len(void *data, uint32_t offset)
{
if (!offset)
return 0;
offset -= sizeof(struct chunk);
struct chunk *chunk = data + offset;
return chunk->length;
}
void account_data_free(void *data, uint32_t offset)
{
if (!offset)
return;
offset -= sizeof(struct chunk);
struct chunk *chunk = data + offset;
chunk->allocated = false;
if (chunk->offset_prev)
{
struct chunk *prev = data + chunk->offset_prev;
if (!prev->allocated)
{
offset = chunk->offset_prev;
if (chunk->offset_next)
{
prev->length = chunk->offset_next - offset - sizeof(struct chunk);
prev->offset_next = chunk->offset_next;
struct chunk *next = data + chunk->offset_next;
next->offset_prev = offset;
}
else
{
prev->offset_next = 0;
prev->length = 0;
}
chunk = prev;
}
}
if (chunk->offset_next)
{
struct chunk *next = data + chunk->offset_next;
if (!next->allocated)
{
if (next->offset_next)
{
chunk->offset_next = next->offset_next;
chunk->length = chunk->offset_next - offset - sizeof(struct chunk);
struct chunk *next = data + chunk->offset_next;
next->offset_prev = offset;
}
else
{
chunk->offset_next = 0;
chunk->length = 0;
}
}
}
}
uint64_t account_data_realloc(SolAccountInfo *ai, uint32_t offset, uint32_t size, uint32_t *res)
{
if (!size)
{
account_data_free(ai->data, offset);
*res = 0;
return 0;
}
if (!offset)
{
return account_data_alloc(ai, size, res);
}
void *data = ai->data;
uint32_t chunk_offset = offset - sizeof(struct chunk);
struct chunk *chunk = data + chunk_offset;
struct chunk *next = data + chunk->offset_next;
uint32_t existing_size = chunk->offset_next - offset;
uint32_t alloc_size = ROUND_UP(size, 8);
if (size <= existing_size)
{
chunk->length = size;
if (existing_size >= alloc_size + sizeof(struct chunk) + 8)
{
uint32_t new_next_offset = offset + alloc_size;
if (!next->allocated)
{
if (!next->offset_next)
{
chunk->offset_next = new_next_offset;
next = data + new_next_offset;
next->offset_prev = chunk_offset;
next->offset_next = 0;
next->allocated = false;
next->length = 0;
}
else
{
chunk->offset_next = new_next_offset;
uint32_t offset_next_next = next->offset_next;
next = data + new_next_offset;
next->offset_prev = chunk_offset;
next->offset_next = offset_next_next;
next->allocated = false;
next->length = offset_next_next - new_next_offset - sizeof(struct chunk);
next = data + offset_next_next;
next->offset_prev = new_next_offset;
}
}
else
{
uint32_t offset_next_next = chunk->offset_next;
chunk->offset_next = new_next_offset;
next = data + new_next_offset;
next->offset_prev = chunk_offset;
next->offset_next = offset_next_next;
next->allocated = false;
next->length = offset_next_next - new_next_offset - sizeof(struct chunk);
next = data + offset_next_next;
next->offset_prev = new_next_offset;
}
}
*res = offset;
return 0;
}
if (!next->allocated)
{
if (next->offset_next)
{
uint32_t merged_size = next->offset_next - offset;
if (size < merged_size)
{
if (merged_size - alloc_size < 8 + sizeof(struct chunk))
{
chunk->offset_next = next->offset_next;
chunk->length = size;
next = data + chunk->offset_next;
next->offset_prev = chunk_offset;
}
else
{
uint32_t offset_next = offset + alloc_size;
uint32_t offset_next_next = next->offset_next;
chunk->offset_next = offset_next;
chunk->length = size;
next = data + offset_next;
next->offset_prev = chunk_offset;
next->offset_next = offset_next_next;
next->length = offset_next_next - offset_next - sizeof(struct chunk);
next->allocated = false;
next = data + offset_next_next;
next->offset_prev = offset_next;
}
*res = offset;
return 0;
}
}
else
{
if (offset + alloc_size + sizeof(struct chunk) < ai->data_len)
{
chunk->offset_next = offset + alloc_size;
chunk->length = size;
next = data + chunk->offset_next;
next->offset_prev = chunk_offset;
next->offset_next = 0;
next->allocated = false;
next->length = 0;
*res = offset;
return 0;
}
}
}
uint32_t old_length = account_data_len(data, offset);
uint32_t new_offset;
uint64_t rc = account_data_alloc(ai, size, &new_offset);
if (rc)
return rc;
__memcpy(data + new_offset, data + offset, old_length);
account_data_free(data, offset);
*res = new_offset;
return 0;
}
#ifdef TEST
#include <assert.h>
#include <string.h>
#include <stdlib.h>
#include <time.h>
void validate_heap(void *data, uint32_t offs[100], uint32_t lens[100])
{
struct account_data_header *hdr = data;
uint32_t offset = hdr->heap_offset;
uint32_t last_offset = 0;
for (;;)
{
struct chunk *chk = data + offset;
if (chk->length == 0 || chk->offset_next == 0)
{
assert(chk->length == 0 && chk->offset_next == 0 && chk->offset_prev == last_offset);
return;
}
assert(chk->offset_prev == last_offset && chk->length != 0);
assert(chk->offset_next - offset - sizeof(struct chunk) >= chk->length);
if (chk->allocated)
{
bool found = false;
uint32_t off = offset + sizeof(struct chunk);
for (int i = 0; i < 100; i++)
{
if (offs[i] == off)
{
assert(!found);
found = true;
uint8_t *mem = data + off;
for (int x = 0; x < lens[i]; x++)
{
assert(mem[x] == i);
}
}
}
assert(found);
}
else
{
uint32_t off = offset + sizeof(struct chunk);
for (int i = 0; i < 100; i++)
{
assert(offs[i] != off);
}
}
last_offset = offset;
offset = chk->offset_next;
}
}
int main()
{
uint8_t data[0x10000];
SolAccountInfo ai;
ai.data = data;
ai.data_len = sizeof(data);
uint32_t offs[100], lens[100];
uint32_t allocs = 0;
memset(data, 0, sizeof(data));
struct account_data_header *hdr = data;
hdr->magic = 0x41424344;
hdr->heap_offset = 0x20;
memset(offs, 0, sizeof(offs));
int seed = time(NULL);
printf("seed: %d\n", seed);
srand(seed);
uint32_t new_offset;
uint64_t status;
for (;;)
{
validate_heap(data, offs, lens);
int n = rand() % 100;
if (offs[n] == 0)
{
status = account_data_alloc(&ai, 100, &new_offset);
assert(status == 0);
offs[n] = new_offset;
memset(data + offs[n], n, 100);
lens[n] = 100;
}
else if (rand() % 2)
{
account_data_free(ai.data, offs[n]);
offs[n] = 0;
}
else
{
int size = (rand() % 200) + 10;
int old_size = account_data_len(ai.data, offs[n]);
status = account_data_realloc(&ai, offs[n], size, &new_offset);
assert(status == 0);
offs[n] = new_offset;
if (size > old_size)
memset(data + offs[n] + old_size, n, size - old_size);
lens[n] = size;
}
if (time(NULL) - seed > 120)
{
printf("No error found after running for two minutes\n");
break;
}
}
}
void sol_panic_(const char *s, uint64_t len, uint64_t line, uint64_t column)
{
printf("panic: %s line %lld", s, line);
}
#endif