Carsten Munk

waiting

trippy

Deterministic docker container builds with Cartesi Machine? Why not.

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

@gerbick.bsky.social !

As centralized services break down I'm still slightly annoyed that for all the money that has gone into tokens and web3 and decentralised stuff, we can't still point our friends at something that'll just work and have good UX and vibe to replace those.

RiscZero (ZKP): Using Continuations to Prove Any EVM Transaction, https://www.risczero.com/blog/continuations

Brooklyn Public Library Offers Free eCards to Teens Nationwide Facing Book Bans in Local Communities Librarians and Teen Volunteers Spearhead Books UnBanned Initiative to Combat Censorship Brooklyn, NY—Brooklyn Public Library (BPL) is launching a new campaign today, titled Books UnBanned, to help teens combat the negative impact of increased censorship and book bans in libraries across the country. For a limited time, young adults ages 13 to 21 nationwide, will be able to apply for a free eCard from BPL, unlocking access to the library’s extensive collection of eBooks. “Access to information is the great promise upon which public libraries were founded,” said Linda E.

Another reason why I believe librarians should run shit.

The Brooklyn Public Library will continue their free library card to any one 13-21 across the country. They may download any ebook in their catalogue even if it's banned where they are.

The next Free Willy sequel looks rad

Posted my patch in the risczero discord, at proof of concept stage and needs a bit more grease work (multithreading, optimization of wasm size etc)

https://github.com/risc0/risc0/tree/main/examples/sha (sha256)

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)

Cool, Alpaca LLM on a deterministic RISC-V machine that can do verification games: https://www.youtube.com/watch?v=E2Ynuq7Eorc&t=3363s

What are your post-generated-everything/AI strategies for having yourself and also your family/friends authenticate they're really talking to you?

Here for:
- verified computation and data in all shapes and sizes