Carsten Munk
@stskeeps.bsky.social
CTO @ Zippie - here for verified computation and data in all shapes and sizes
Deterministic docker container builds with Cartesi Machine? Why not.
September 28, 2023 at 7:18 PM
Deterministic docker container builds with Cartesi Machine? Why not.
Slides (PDF) from my #zkp #linux presentation (Cartesi +RiscZero based) - web3.link/zkLinux.pdf
September 1, 2023 at 7:52 AM
Slides (PDF) from my #zkp #linux presentation (Cartesi +RiscZero based) - web3.link/zkLinux.pdf
"Running Linux in ZK" - doing this talk about my work to run Cartesi Machine (cartesi.io) in ZK with RiscZero.com on zkwarsaw.dev @ Tuesday 29th 10.15 UTC
August 25, 2023 at 7:23 PM
"Running Linux in ZK" - doing this talk about my work to run Cartesi Machine (cartesi.io) in ZK with RiscZero.com on zkwarsaw.dev @ Tuesday 29th 10.15 UTC
A small proof of concept, a #RiscZero #zkp prover compiled to WASM, running with a WASI shim in Chrome browser; sub-3min proving time for the 'sha' example (currently unoptimized, single threaded)
May 20, 2023 at 5:52 AM
A small proof of concept, a #RiscZero #zkp prover compiled to WASM, running with a WASI shim in Chrome browser; sub-3min proving time for the 'sha' example (currently unoptimized, single threaded)