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
July 3, 2023 at 6:44 PM
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.
July 1, 2023 at 6:28 PM
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
May 23, 2023 at 4:28 PM
RiscZero (ZKP): Using Continuations to Prove Any EVM Transaction, https://www.risczero.com/blog/continuations
Reposted by Carsten Munk
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 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.
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.
www.bklynlibrary.org
May 20, 2023 at 12:59 PM
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 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.
Reposted by Carsten Munk
The next Free Willy sequel looks rad
Sorry if that was too many posts about my kid this morning. I’ll now get back to skeeting pictures of orcas wielding machine guns…
May 20, 2023 at 2:05 PM
The next Free Willy sequel looks rad
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)
Cool, Alpaca LLM on a deterministic RISC-V machine that can do verification games: https://www.youtube.com/watch?v=E2Ynuq7Eorc&t=3363s
www.youtube.com
May 15, 2023 at 6:07 PM
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?
April 30, 2023 at 2:13 PM
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
- verified computation and data in all shapes and sizes
April 25, 2023 at 4:38 AM
Here for:
- verified computation and data in all shapes and sizes
- verified computation and data in all shapes and sizes