zkm

zkm copied to clipboard

Parallelize the convesion from trace data to table.

1

From the timing message, the conversion from trace data to table takes [code](https://github.com/zkMIPS/zkm/blob/main/src/witness/traces.rs#L148) about half of the total time of `generate_traces`, and all the conversions can be performed parallelly. The...

eigmax

doc: add how to use examples

3

This PR adds additional explanation of examples.

ulbqb

ReadmeChinese.md

Budalebah

sukrucildirr

@psinelnikov @eigmax Please review it, thank

hungmai1407

Since each memory integrity check involves some Keccak computing, it adds lots of rows to the Memory and Logic table, which may increase the constraints degree of CPU Stark.

eigmax

eigmax

Dev mode support

1

Refers to the Dev mode in [Risc 0](https://dev.risczero.com/api/zkvm/quickstart#4-quick-development-leveraging-dev-mode), we can separate the program into host mode and guest mode via target. When we setup target=zkvm, we run it in guest...

eigmax

ethan-storswift

We use MUSL as the C standard library, but it doesn't work on MacOS.

eigmax