Welcome to Valida Playground!
Step 1: Write code in Rust / C (more coming soon)
Step 2: Run your code with various inputs
Step 3: Prove and verify the execution of your code
Note: For multi-file compilation, name your secondary file lib.rs and assume the root of the crate to be rust_shell.
Share Project
PLAYGROUND
Files
- reverse.c
- checksum.c
- sha256.c
- fibonacci.rs
- fizzbuzz.rs
- palindrome.rs
- wasm.c
- lib.rs
reverse.c
99
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
›
⌄
⌄
⌄
⌄
⌄
⌄
const unsigned EOF = 0xFFFFFFFF;
#define BUF_LEN 2048
int main() {
unsigned buf[BUF_LEN];
unsigned len = 0;
while (len < BUF_LEN) {
unsigned c = __builtin_valida_read_advice();
if (c == EOF) {
break;
} else {
buf[len] = c;
len++;
}
}
for (unsigned i = 0; i < len / 2; i++) {
unsigned j = len - 1 - i;
unsigned tmp = buf[i];
buf[i] = buf[j];
buf[j] = tmp;
}
for (unsigned i = 0; i < len; i++) {
__builtin_valida_write(buf[i]);
}
}