ed255/riscu-jolt issues and pull requests

#31 - Implement `DecomposableTable` for each instruction

Issue - State: open - Opened by jeong0982 over 1 year ago

#30 - Replace `ark_ff` with `ff`

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#30 - Replace `ark_ff` with `ff`

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#29 - `ark_ff` to `zkcrypto/ff`

Issue - State: closed - Opened by jeong0982 over 1 year ago - 2 comments

#29 - `ark_ff` to `zkcrypto/ff`

Issue - State: closed - Opened by jeong0982 over 1 year ago - 2 comments

#28 - Add github actions

Issue - State: closed - Opened by ed255 over 1 year ago

#28 - Add github actions

Issue - State: closed - Opened by ed255 over 1 year ago

#27 - Add github actions

Pull Request - State: closed - Opened by ed255 over 1 year ago

#27 - Add github actions

Pull Request - State: closed - Opened by ed255 over 1 year ago

#26 - Implement virtual extension in the emulator

Pull Request - State: closed - Opened by ed255 over 1 year ago - 2 comments
Labels: emulator

#26 - Implement virtual extension in the emulator

Pull Request - State: closed - Opened by ed255 over 1 year ago - 2 comments
Labels: emulator

#25 - Implement virtual instructions and virtual registers

Issue - State: closed - Opened by ed255 over 1 year ago
Labels: emulator, simulator

#25 - Implement virtual instructions and virtual registers

Issue - State: closed - Opened by ed255 over 1 year ago
Labels: emulator, simulator

#24 - Introduce `opflags`

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#24 - Introduce `opflags`

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#23 - Simulate LD and SD

Pull Request - State: closed - Opened by ed255 over 1 year ago

#23 - Simulate LD and SD

Pull Request - State: closed - Opened by ed255 over 1 year ago

#22 - Edu/mem trace

Pull Request - State: closed - Opened by ed255 over 1 year ago

#22 - Edu/mem trace

Pull Request - State: closed - Opened by ed255 over 1 year ago

#21 - Implement the instruction format defined in Jolt

Issue - State: closed - Opened by ed255 over 1 year ago
Labels: simulator

#21 - Implement the instruction format defined in Jolt

Issue - State: closed - Opened by ed255 over 1 year ago
Labels: simulator

#20 - Refactor simulator to verify instead of evaluate

Issue - State: closed - Opened by ed255 over 1 year ago
Labels: simulator

#20 - Refactor simulator to verify instead of evaluate

Issue - State: closed - Opened by ed255 over 1 year ago
Labels: simulator

#19 - Edu/zero upper bits1

Pull Request - State: closed - Opened by ed255 over 1 year ago

#19 - Edu/zero upper bits1

Pull Request - State: closed - Opened by ed255 over 1 year ago

#18 - Soowon/Implement control transfer instructions in simulator

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#18 - Soowon/Implement control transfer instructions in simulator

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#17 - Implement a cost function on top of the structured table trait

Issue - State: open - Opened by ed255 over 1 year ago
Labels: simulator

#17 - Implement a cost function on top of the structured table trait

Issue - State: open - Opened by ed255 over 1 year ago
Labels: simulator

#16 - Replace Emulator panics by proper error handling

Issue - State: open - Opened by ed255 over 1 year ago
Labels: emulator

#16 - Replace Emulator panics by proper error handling

Issue - State: open - Opened by ed255 over 1 year ago
Labels: emulator

#15 - Edu/emulator bin

Pull Request - State: closed - Opened by ed255 over 1 year ago

#15 - Edu/emulator bin

Pull Request - State: closed - Opened by ed255 over 1 year ago

#14 - Implement emulator decoder

Pull Request - State: closed - Opened by ed255 over 1 year ago

#14 - Implement emulator decoder

Pull Request - State: closed - Opened by ed255 over 1 year ago

#13 - Implement an instruction decoder for the emulator

Issue - State: closed - Opened by ed255 over 1 year ago

#13 - Implement an instruction decoder for the emulator

Issue - State: closed - Opened by ed255 over 1 year ago

#12 - Introduce a polynomial expression type

Pull Request - State: closed - Opened by ed255 over 1 year ago

#12 - Introduce a polynomial expression type

Pull Request - State: closed - Opened by ed255 over 1 year ago

#11 - Add control transfer instructions in emulator

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#11 - Add control transfer instructions in emulator

Pull Request - State: closed - Opened by jeong0982 over 1 year ago

#10 - Rearange Emulator and Simulator types

Pull Request - State: closed - Opened by ed255 over 1 year ago

#9 - Add Simulator sltu instruction

Pull Request - State: closed - Opened by ed255 over 1 year ago - 1 comment

#9 - Add Simulator sltu instruction

Pull Request - State: closed - Opened by ed255 over 1 year ago - 1 comment

#8 - Add remaining instruction tests

Pull Request - State: closed - Opened by ed255 over 1 year ago

#7 - Define and implement an opcode decoder?

Issue - State: open - Opened by ed255 over 1 year ago
Labels: simulator

#6 - Implement the zk circuit simulator glue logic

Issue - State: open - Opened by ed255 over 1 year ago - 1 comment
Labels: simulator

#5 - Define a structured table trait

Issue - State: open - Opened by ed255 over 1 year ago
Labels: simulator

#4 - Implement all instructions in the zk circuit simulator

Issue - State: open - Opened by ed255 over 1 year ago
Labels: simulator

#3 - Include more RV64I arithmetic / bitwise instructions

Issue - State: open - Opened by ed255 over 1 year ago
Labels: emulator, simulator

#2 - Implement all instructions in emulator

Issue - State: closed - Opened by ed255 over 1 year ago - 1 comment
Labels: emulator

#1 - Add tests for arithmetic / bitwise instructions

Issue - State: closed - Opened by ed255 over 1 year ago

GitHub / ed255/riscu-jolt issues and pull requests