issues
search
ed255
/
riscu-jolt
RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
23
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement `DecomposableTable` for each instruction
#31
jeong0982
opened
1 year ago
0
Replace `ark_ff` with `ff`
#30
jeong0982
closed
1 year ago
0
`ark_ff` to `zkcrypto/ff`
#29
jeong0982
closed
1 year ago
2
Add github actions
#28
ed255
closed
1 year ago
0
Add github actions
#27
ed255
closed
1 year ago
0
Implement virtual extension in the emulator
#26
ed255
closed
1 year ago
2
Implement virtual instructions and virtual registers
#25
ed255
closed
1 year ago
0
Introduce `opflags`
#24
jeong0982
closed
1 year ago
0
Simulate LD and SD
#23
ed255
closed
1 year ago
0
Edu/mem trace
#22
ed255
closed
1 year ago
0
Implement the instruction format defined in Jolt
#21
ed255
closed
1 year ago
0
Refactor simulator to verify instead of evaluate
#20
ed255
closed
1 year ago
0
Edu/zero upper bits1
#19
ed255
closed
1 year ago
0
Soowon/Implement control transfer instructions in simulator
#18
jeong0982
closed
1 year ago
0
Implement a cost function on top of the structured table trait
#17
ed255
opened
1 year ago
0
Replace Emulator panics by proper error handling
#16
ed255
opened
1 year ago
0
Edu/emulator bin
#15
ed255
closed
1 year ago
0
Implement emulator decoder
#14
ed255
closed
1 year ago
0
Implement an instruction decoder for the emulator
#13
ed255
closed
1 year ago
0
Introduce a polynomial expression type
#12
ed255
closed
1 year ago
0
Add control transfer instructions in emulator
#11
jeong0982
closed
1 year ago
0
Rearange Emulator and Simulator types
#10
ed255
closed
1 year ago
0
Add Simulator sltu instruction
#9
ed255
closed
1 year ago
1
Add remaining instruction tests
#8
ed255
closed
1 year ago
0
Define and implement an opcode decoder?
#7
ed255
opened
1 year ago
0
Implement the zk circuit simulator glue logic
#6
ed255
opened
1 year ago
1
Define a structured table trait
#5
ed255
opened
1 year ago
0
Implement all instructions in the zk circuit simulator
#4
ed255
opened
1 year ago
0
Include more RV64I arithmetic / bitwise instructions
#3
ed255
opened
1 year ago
0
Implement all instructions in emulator
#2
ed255
closed
1 year ago
1
Add tests for arithmetic / bitwise instructions
#1
ed255
closed
1 year ago
0