Carsten Munk @stskeeps Twitter profile

Last Seen Profiles

@emogunil

@35y3L7SOiJX

@JunkoF65369

@stw_pdg

@Buqdharkayn

@galery_basah10

@Ruan_ten_ten

@GK3c5WVV7OnHidx

@ilmhsi

@Vickydaskas

@i5086199388696

@jwYJqM17UWP4C

@rh6591453435583

@nat22p

@YinXin31811

@nono21907315

@pmnpestana

@1mohammed_qasim

@FunKaStarcraft

@LpoolPins

@udin12344566

@The_DHS

@nunuwtff

@SBock247

@LPP2014

@lanza1x

@pengen_stw

@aAcipAw

@callmehkawaiix

@rachelbeen

@YavapaiBaseball

@sla_db

@_bredgen

@only1daa_

@verb_labs

@Manilla_Kv

Carsten Munk

@stskeeps

3 years

Made BLS12-381 verification work on @Truebitprotocol -

Working on TrueBit · zippiehq/bls-wasm@01e4094

Signed-off-by: Carsten Munk

github.com

4

22

125

Carsten Munk

@stskeeps

4 years

@davo2000pritch @SkyNews

1

5

96

Carsten Munk

@stskeeps

10 months

Slides (PDF) from my #zkp #linux presentation ( @cartesiproject + @RiscZero based) from @zkWarsaw -

6

21

96

Carsten Munk

@stskeeps

11 months

"Running Linux in ZK" - doing this talk about my work to run @cartesiproject machine in ZK with @RiscZero on @zkWarsaw @ Tuesday 29th 10.15 UTC,

3

25

90

Carsten Munk

@stskeeps

8 months

Done judging & booth babe-ing for @cartesiproject at @ethglobal Istanbul!

3

9

83

Carsten Munk

@stskeeps

7 years

Would the owners of Ethereum addresses 0x0540593AbCaC39Dd9dF046040299d556D906e2C0 , 0x7Ae8cF58DBDf4186F0D584745dC78255bc93495C and 0x4c91e457647f56234096a29a0c48c0e75013818a please reach out to hello @zipperglobal .com?

1

33

43

Carsten Munk

@stskeeps

3 years

Why I find @cartesiproject interesting:

5

19

67

Carsten Munk

@stskeeps

3 years

screenshot: ethereumjs-vm sample on top of QuickJS on top of @Truebitprotocol 's JIT - also works on interpreter (if you like this, see also what we're doing with @zippiehq / $ZIPT)

0

17

61

Carsten Munk

@stskeeps

5 years

Zippie has gained 3800+ new users in one day in Kenya running on top of #Ethereum / #ERC20 technology; no app needing to install - works in your browser, virally spreading through WhatsApp. This is fun.

5

19

61

Carsten Munk

@stskeeps

6 months

Is the world ready for 32-bit RISC-V verifiable offchain computation (embedded target style) on Bitcoin w/ #BitVM ? (sooner or later Linux on RV64GC #cartesi on Bitcoin, too.)

5

3

56

Carsten Munk

@stskeeps

8 months

doing a talk tonight

1

11

49

Carsten Munk

@stskeeps

8 months

Talking about @eigenlayer and @cartesiproject today at Restaking Summit, at 2:40 PM Istanbul time

1

4

49

Carsten Munk

@stskeeps

4 years

@EbongJc @asemota Best way to teach your kids your phone numbers is to set it as the PIN for phone/tablet/etc.

1

10

46

Carsten Munk

@stskeeps

9 months

My #cartesi #bitvm #riscv experiment

1

3

49

Carsten Munk

@stskeeps

3 years

2021 if SailfishOS had become open source during Jolla's 10 year of life.

1

7

46

Carsten Munk

@stskeeps

7 years

Apple mobile application processors beginning with the A7 contain a Secure Enclave coprocessor running an L4 operating system based on the L4-embedded kernel developed at NICTA in 2006. This implies that L4 is now shipping on all iOS devices

2

13

45

Carsten Munk

@stskeeps

8 years

UNIX IN YOUR BROWSER TAB:

0

18

42

Carsten Munk

@stskeeps

7 months

Doing a talk tonight in Warsaw at

0

7

38

Carsten Munk

@stskeeps

4 months

Doing this talk tonight at @cartesiproject and @EspressoSys 's Back to the Future Cocktail Night,

0

6

38

Carsten Munk

@stskeeps

3 months

re xz hack: you guys do know there's a verifiable/reproducible/deterministic ubuntu-running RV64GC/RISC-V emulator out there right? you can even build docker containers and fetch off ipfs/content-addressed mediums, cross-compile, etc poke me to hear more

Cartesi - Application-specific rollups with a Linux runtime.

Cartesi Rollups offer a modular scaling solution, deployable as L2, L3, or sovereign rollups, while maintaining strong base layer security guarantees.

cartesi.io

0

6

38

Carsten Munk

@stskeeps

3 years

I'll be doing a Reddit AMA tomorrow Thursday, June 24th at 12pm EST on

2

7

34

Carsten Munk

@stskeeps

9 months

Is it possible to do #cartesi RISC-V general purpose verified computation on #bitvm #bitcoin ? We think so! See my hackathon presentation slides at

2

14

38

Carsten Munk

@stskeeps

1 year

if you aren't spending your afternoon proving the machine execution of a full 64-bit RISC-V Linux machine in ZK on RTX 3090 GPU or similar, are you really experimenting with ZK? #cartesi #risczero #zkp

2

5

37

Carsten Munk

@stskeeps

4 months

ethdenver buidlathon fun: one-honest-party decentralised indexing within a @cartesiproject machine over ethereum block history -- @0xFido_Project

1

5

36

Carsten Munk

@stskeeps

1 year

#zklinux - Did a technical talk for the Cartesi team about my work running Linux inside the #Cartesi Machine (RISC-V RV64GC) inside a #RiscZero Zero Knowledge Proof #zkp - - comments welcome!

Research Meeting zkLinux by carsten munk 2023 07 04 15 07 GMT+1

null

www.youtube.com

1

13

36

Carsten Munk

@stskeeps

2 years

Amazed this is how simple has become to write software that becomes a ZKP - @RiscZero

3

6

35

Carsten Munk

@stskeeps

6 months

xmas project done: rv32i to #bitvm with rv32ui tests passing (except for fence.i oddly enough) disclaimer: some new ops still to be written on bitvm bitcoin script side for this to work chat at @ next up: @cartesiproject on bitvm

BitVM Builders

Building Bitcoin Bridges https://bitvm.org

t.me

4

11

33

Carsten Munk

@stskeeps

4 months

Proud to be in top 15 in #ethdenver2024 buildathon with @0xFido_Project - -

VeriFido - Sniffing out the truth | Devfolio

VeriFido produces verifiable Ethereum indexing. Imagine TheGraph running in a deterministic, decentralized, and verifiable environment, with resulting indexed data disputable on-chain!

devfolio.co

2

11

34

Carsten Munk

@stskeeps

3 years

Raising a glass for a departed Maemo and MeeGo friend @texrat

6

8

34

Carsten Munk

@stskeeps

1 year

The world if Bitcoin Script on mainnet had OP_CAT

4

6

33

Carsten Munk

@stskeeps

6 months

X-mas coding project: rv32i to #bitvm transpiler

0

6

33

Carsten Munk

@stskeeps

7 years

Who of you would want to use and have a primary/secondary mobile device that out of box had an easy-to-start-using experience based on #IPFS #Ethereum #Bitcoin #dapps etc.; w/ Android OS+apps unable to reach your keys/data?

6

21

32

Carsten Munk

@stskeeps

3 years

OK, who decided to bubblewrap the earth?

4

30

Carsten Munk

@stskeeps

8 months

I'll be doing a quick talk + demo about combining the technologies of @cartesiproject and @eigenlayer at on Tuesday.

0

9

30

Carsten Munk

@stskeeps

8 months

My slides from my talk today at @zkwarsaw , "Bringing ZK verifiers to Bitcoin using #BitVM - ?" -

4

8

31

Carsten Munk

@stskeeps

3 years

Saturday evening fun: ethereumjs-vm inside QuickJS inside @Truebitprotocol for a @zippiehq experiment

2

7

28

Carsten Munk

@stskeeps

5 months

Done with my rv32i-to-bitvm transpiler :) #bitvm

Ekrem BAL

@ekrembal_

5 months

Today is significant for us not only for the launch but also… Today we managed to verify a groth16 proof on BitVM in 20B cycles. Obviously, we have a way to go but this is an amazing milestone.

5

33

123

1

2

31

Carsten Munk

@stskeeps

4 years

@veorq @Agarri_FR

1

5

29

Carsten Munk

@stskeeps

2 years

This is ChatGPT generating the code for a @RiscZero ZK program guest:

2

3

30

Carsten Munk

@stskeeps

3 years

Done with my AMA at :)

From the truebit community on Reddit

Explore this post and more from the truebit community

www.reddit.com

1

5

29

Carsten Munk

@stskeeps

1 year

Proof of concept: A single #cartesi machine cycle (RV64GC) proven in ZK with #risczero - you can see the guest asking host to page in shadow PMA + state & execute one step from ROM at 0x1000 after paging it in

2

6

29

Carsten Munk

@stskeeps

1 year

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)

3

4

29

Carsten Munk

@stskeeps

6 years

If you are/will be at #FOSDEM this weekend and would like to hear more about Zipper and how we plan to bring blockchain and decentralisation to the masses () reply to this post and let's meet up! :)

7

12

21

Carsten Munk

@stskeeps

4 years

libhybris is over 8 years old by now.

2

3

28

Carsten Munk

@stskeeps

9 months

Sunday fun: compiling a RISC-V execution step into a Boolean circuit for #bitvm #bitcoin purposes

2

3

27

Carsten Munk

@stskeeps

7 years

Over 1000 whitepapers about Zipper downloaded from our website () - Check it out to understand how we aim to make a literal out of box experience to get everybody onboard to the #blockchain / #cryptocurrency / #Ethereum world

0

21

24

Carsten Munk

@stskeeps

4 years

Can we make scientific paper citations being IPFS CIDs a thing?

2

3

26

Carsten Munk

@stskeeps

6 months

most of my 2023: @EspressoSys @cartesiproject #Ethereum

1

2

26

Carsten Munk

@stskeeps

4 years

@internetofshit Once was in a plane where the pilot announced they had pulled the program module in and out and now displays worked again and they're ready for takeoff. I sat back and accepted my fate.

1

23

Carsten Munk

@stskeeps

8 months

ok, which one of you did this?

2

5

23

Carsten Munk

@stskeeps

3 years

Repeat after me: don't rely on App Stores for your business

Element

@element_hq

3 years

Google have suspended Element in the Play Store without notifying us; we're reaching out to find out what's going on. Apologies for the inconvenience; in the interim there's but it's a few versions behind. We'll post updates here.

86

694

2K

2

6

25

Carsten Munk

@stskeeps

8 years

“Why Blockchain is death knell for Mpesa” by @pesa_africa

Why Blockchain is death knell for Mpesa

In Kenya, mobile money is basically issued electronic money on a SIM card, backed by Bank deposits at a local bank — the Commercial Bank of…

medium.com

0

23

Carsten Munk

@stskeeps

10 months

Fitting a 64-bit machine into a 32-bit zkVM proof

philip lewis

@Phil_Lewis_

10 months

Nebraska police pull over man with a Watusi bull riding in the passenger’s seat

2K

6K

29K

1

2

23

Carsten Munk

@stskeeps

9 months

are you really in rollup VM space if you don't apt-get from a partial ubuntu snapshot repository from a file: uri in your deterministic RISC-V non-network VM?

2

7

24

Carsten Munk

@stskeeps

1 year

Some light weekend reading #softwar

4

2

24

Carsten Munk

@stskeeps

3 years

Rest in peace, #Truebit Unofficial Community on Telegram, April-October 2021

10

1

21

Carsten Munk

@stskeeps

2 years

If Russia is reconfiguring their internet, are they at least changing to IPv6?

1

4

22

Carsten Munk

@stskeeps

11 months

Turns out midjourney takes URLs:

2

0

22

Carsten Munk

@stskeeps

3 years

Best #truebit meme seen so far:

2

0

22

Carsten Munk

@stskeeps

5 months

you should contribute to #bitvm - the team, code and problem solving!

1

3

21

Carsten Munk

@stskeeps

3 years

Who wanted JavaScript on TrueBit? QuickJS from on @Truebitprotocol - small proof of concept: (not node.js compatible!)

QuickJS on TrueBit, proof of concept

null

www.youtube.com

1

6

20

Carsten Munk

@stskeeps

4 months

upcoming dev experience of cartesi, in kanye west style: "'it's dropping the hottest album of the year, and you're doing it in 10 minutes, from setting up your studio to hitting the charts.''

1

3

22

Carsten Munk

@stskeeps

4 years

@asemota is probably even scarier. They've really upped the tech from being able to listen to a chips bag..

0

8

22

Carsten Munk

@stskeeps

7 months

Mood:

1

5

20

Carsten Munk

@stskeeps

5 years

So this is how it feels to go viral. I like it.

5

21

Carsten Munk

@stskeeps

7 years

What's biggest OS in the world - MINIX or L4?

4

6

21

Carsten Munk

@stskeeps

6 years

#ethereum EIP0 Shared Values talk coming up at live stream of @jarradhope @ethstatus speaking at Ethereum Community Bangkok event -

Boba Network 🧋

@bobanetwork

6 years

Excited to hear the results of @jarradhope @ethstatus EIP0 Shared Values Survey at #EthereumBKK Meetup this Sunday!

2

32

145

0

4

17

Carsten Munk

@stskeeps

2 years

I'm looking for a senior QA engineer (web frontend, backend), who knows automation, frameworks like Cypress, mocha, chai, and has taken online/offline courses in Software Testing. Plusses: React, Express. Experience required! Remote, full-time, contractor basis. DM me!

3

29

19

Carsten Munk

@stskeeps

6 months

Cartesi as a restaking-based co-processor for Ethereum:

1

3

19

Carsten Munk

@stskeeps

9 months

3

2

19

Carsten Munk

@stskeeps

4 years

I was 15 when I launched my first open source project, UnrealIRCd - it still persists today.

1

2

18

Carsten Munk

@stskeeps

1 year

If you aren't doing 240+ execution segments of 2^20 execution steps with @RiscZero continuations are you really experimenting with ZKPs?

1

2

19

Carsten Munk

@stskeeps

8 months

Meet me at #devconnect at: VM day (speaking, panel), restaking summit (speaking, demo), l2 days second day (attendee), scaling bitcoin together (speaker) and at the #cartesi booth at ethglobal Istanbul (also hackathon judge)

0

2

18

Carsten Munk

@stskeeps

2 years

We're now at "you cannot put links to other servers in your IRC channel topic" stage 🍿Why do we have to constantly learn this stuff again and again?

2

5

18

Carsten Munk

@stskeeps

10 months

2

18

Carsten Munk

@stskeeps

3 months

will be speaking @ETHDubaiConf about "Verifiable Linux VMs on Ethereum" :)

0

6

19

Carsten Munk

@stskeeps

3 months

ugh I’m gonna end up writing a sequencer ain’t i

5

0

18

Carsten Munk

@stskeeps

10 years

Another fantastic talk by @scottjenson from CHI 2014 (Closing keynote)

1

10

18

Carsten Munk

@stskeeps

7 years

Smart contracts could hold property with Instant Blockchain Token Trusts

When you see the word ‘trust’ in relation to blockchain, it’s usually as part of the word ‘trustless’, where you don’t need to trust a…

medium.com

0

10

17

Carsten Munk

@stskeeps

4 years

Mer project (in MeeGo form) is over 9 years old now - now part of SailfishOS. Maemo form started 12 years ago.

2

5

18

Carsten Munk

@stskeeps

9 years

"Never wrestle with a pig. You get dirty, and besides, the pig likes it.". Some people are not worth your energy and time online.

0

10

18

Carsten Munk

@stskeeps

9 years

"if you are not embarrassed by your first version of your product, you've launched too late"

1

25

17

Carsten Munk

@stskeeps

8 months

judging by devconnect schedule what we really need as a blockchain killer app is event coordination and alignment software

3

1

17

Carsten Munk

@stskeeps

8 months

Soooo, throw RISC-V on this?

Philip Turner

@philipturnerar

8 months

Atomically precise NOR gate, welcome to the world of computing. Any combinational logic circuit can be built with you. [1/n] #MNT #APM #nano

53

239

2K

0

2

17

Carsten Munk

@stskeeps

9 years

I welcome another libhybris-using OS to the world, Plasma Mobile, http://t.co/4bcEqxXpes

2

29

16

Carsten Munk

@stskeeps

3 years

Bought a year worth of @rotkiapp premium :)

1

2

15

Carsten Munk

@stskeeps

4 months

Submitted our #ETHDenver2024 buidlathon project 🥹 @0xFido_Project

0

16

Carsten Munk

@stskeeps

5 months

Seeing #bitvm implement the last chain bits needed to support transpiled RISC-V 32-bit (rv32i). So hot.

0

3

16

Carsten Munk

@stskeeps

9 years

First #qml #qt app running with all QML + images from #ipfs ?

3

17

15

Carsten Munk

@stskeeps

10 months

Finally, a proper slide format #ethwarsaw

0

16

Carsten Munk

@stskeeps

7 years

Biometrics are usernames, not passwords.

1

10

12

Carsten Munk

@stskeeps

2 years

Now with on the spot printed ENS nametag

3

2

15

Carsten Munk

@stskeeps

7 years

"In Who Owns the Future?, Jaron Lanier posits that the middle class is increasingly disenfranchised from online economies. 1/

1

14

13

Carsten Munk

@stskeeps

6 months

Excited to see #bitvm become more RISC-Vy

0

14

Carsten Munk

@stskeeps

10 years

Hardware Adaptation Dev Kit 1.0 for #sailfishos : http://t.co/Fp1SdiULNw - join #sailfishos -porters on http://t.co/REpYL2UFq6 #jolla

5

61

15

Carsten Munk

@stskeeps

3 years

cat > hello.cpp << EOF #include <stdio.h> int main(int argc, char **argv[]) { printf("hello world\n"); } EOF emcc -o hello.js hello.cpp -s WASM=1 node ~/emscripten-module-wrapper/prepare.js hello.js --run --out dist and you've got a .wasm you can run with @Truebitprotocol

0

2

15

Carsten Munk

@stskeeps

9 years

My feet are immensely sore and I'm really tired. But #mwc15 was all worth it. So much love for #jolla and #sailfishos 2.0 there.

3

7

15

Carsten Munk

@stskeeps

7 years

Out of curiosity, how many of you following me would accept cryptocurrency as payment for your professional services, either partially or fully? Like if partially, RT if full!

2

9

14

Carsten Munk

@stskeeps

4 months

watching @felipeargento in action talking modular

The Rollup

@therollupco

4 months

The design choices behind building an app specific chains vs. general purpose chains are different. As a builder, you have to think about what modular stack components will work best for your application's usecase. For the fourth episode of our Modular March presentation

5

13

36

0

2

14

Carsten Munk

@stskeeps

4 months

Seen on Denver lamppost

3

0

13