! amRed

@felipeargento @cartesiproject Whats your say about quantum computing using cartesi?

Cartesi Machine: Microarchitecture, Machine Swapping and dealing with complexity TLDR: To further improve the Cartesi Machine without threatening fraud proof generation, we created a microarchitecture. This already allowed the addition of many cool extensions, and many more to come. _ Building fraud proofs for execution environments settling on Ethereum is a daunting task. The chain you're settling on doesn't have the power to execute the full computation running in your altVM (that would defeat the purpose), causing you to need a dispute mechanism that can trustlessly arrive at a computation that is small enough that the baselayer can run. For Cartesi that meant that the Cartesi Machine (written in cpp) had to have a matching implementation in Solidity (code below), deployed as a smart contract. When I say matching, I mean bit by bit, exact execution, without even the possibility of arriving in a different state hash. This clearly puts a cap on complexity, right? Implementing virtual memory on solidity was already a bit sketchy, but the problem became obvious when the offchain emulator wanted to implement translation lookaside buffers (TLBs). For those that don't know, they're basically a type cache that helps to speed up shenanigans between virtual and physical memory and yada yada. Anyway, it's good and we wanted implemented it in a certain way, but were scared of how complex (and thus bug-prone) that would look in a smart contract. Turns out that there were many more extensions like that: floating-point instructions, hypervisor, compressed instructions etc. We really want to add those, without compromising the reasonability of the smart contract implementation! Our solution? The microarchitecture (aka uarch)! The uarch is much much simpler than the ISA supported by the Cartesi Machine emulator - it knows only about the 64-bit RISCV non-privilegedinstructions. And, much cooler than that, the solidity smart contract version can actually be auto-generated from the C++ code, making it easily auditable. The microarchitecture has its own registers, cycle counter and so on, but it exists right next to the "big architecture", can read and write to it. It also appear in the Merkle tree that summarizes the Cartesi Machine entire state. The trick is that the Cartesi Machine can be compiled to the uarch, which allows us to use the Machine Swapping technique, described by Augusto on his ethresearch post. I know this is getting complicated, thats the nature of fraud proofs...but I'll summarize: The microarchitecture allows us to unbundle the complexity of the Cartesi Machine from the complexity of the smart contract used to prove it. The Machine Swapping technique allows us to use the uarch on our fraud proof system safely and without impact on performance.

@AltcoinDailyio Celer network and Cartesi

SERIOUS: What #crypto coin do you think is FOR SURE a 3-5 year hold? 🤔

$celr is on the move! #zk #ZKSync $sol $rose $btc $eth $ctsi $avax

@elonmusk Why dont you buy facebook?

It would be a much better name!

@AltcoinDailyio $celr $ctsi Celer Network Cartesi

We speak to 100,000+ crypto holders on any given day. What #altcoin should we talk to them about today?

@benjamincowen Again ben slap

@elonmusk But you dont have balls to fight mark in octagon

Dogs rock

@saylor Youre always tweeting #bitcoin and haven't busy in microstrategy company? What ya doin always tweet?

#Bitcoin on the Brink.

@coingecko $celr $ctsi $btc Celer Network Cartesi Bitcoin

Top 3 #crypto you're MOST bullish on. Go. 👇

@GWR Guinness what records?

tell us something we don't know

@elonmusk When marketplace

Video & audio calls coming to X: - Works on iOS, Android, Mac & PC - No phone number needed - X is the effective global address book That set of factors is unique.

@AltcoinDailyio Nothing special

Mr. Beast owns #ethereum & #crypto.

@elonmusk Can we mass report @elonmusk lol

Pretty fun blocking people who complain that blocking is going away. How does the medicine taste? 😂😂

🤔Is Folding-based Schemes like Nova the end game for Zero Knowledge Proof scalability for zk rollups, ZK Machine Learning (zkML) and zk co-processors? Check out below:

@elonmusk Does blocked accounts will be unblocked when block feature is removed?

@benjamincowen 😂😂😂

😂

@cb_doge Memes nowadays are too personal and offensive since X started to rebrand.

"We need to make this logo far more beautiful" — Mark Zuckerberg

@jack Well meta does not care

deleted my instagram account after 12 years. was one of the first 10 accounts I believe, and one of the first angel investors. who will they give the @jack handle to?

@CryptoTony__ @cryptomanran Question is are you guys wannabe?

@cryptomanran Is he even still relevant at this point

Capo was right.

@benjamincowen @CalebFranzen This guy terrible temper very defensive sigh

@CalebFranzen Calling it an “honest coincidence” is a bit rich. I have posted about this for years. And as I linked below, I posted about this a few weeks ago, before any correction occurred. And you did not find me engagement farming your post by linking my own previous tweet.

#SPX / M2 When accounting for the money supply, the S&P 500 has had a hard time breaking through this range. I find it fascinating that when accounting for M2, the tops have all been around the same level for the last several years.