ThereIsNoSmartContract

3.7K posts

ThereIsNoSmartContract banner
ThereIsNoSmartContract

ThereIsNoSmartContract

@HSethv

Decentralized Computing & Al enable society to dynamically align short-mid-long term interests by identifying, creating & balancing economic incentives

Katılım Haziran 2021
1.2K Takip Edilen3K Takipçiler
ThereIsNoSmartContract
ThereIsNoSmartContract@HSethv·
@RealityNetw0rk @wyatt_noise love this concise technical explanation of how reality fits into existing software architecture and hosting model. Reality re-conceptualizes the cloud hosting model by solving cybersecurity and scalability, enabling a direct relationship between web app developers and end users
English
0
0
2
43
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
Most apps today rely on a hidden middleman. Your phone → a cloud server → the app works. AWS, Google Cloud, etc. In this clip @wyatt_noise explains a radical idea: What if the server lived inside the user’s app itself? Meaning every user device becomes part of the infra Big thanks to @StellarMadic and @ProsperaGlobal for hosting us.
English
5
7
26
1.1K
ThereIsNoSmartContract retweetledi
Token Dispatch
Token Dispatch@tokendispatchhq·
Why Reality Network is questioning what crypto takes for granted? It took Vitalik Buterin around five years to realise that L2s don’t make sense. And that’s where @RealityNetw0rk felt relevant to us. Read all about it on Today's edition👇
English
2
5
18
1.4K
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
Great question 👉 We don’t rely on a global clock Instead of trying to force everyone to agree on “what time it is,” each node builds its own DAG of events. These DAGs capture causal ordering, meaning: which events happened before others, based on how data and computation flowed. It’s a bit like how Lamport timestamps or vector clocks work, but embedded in the actual structure of the network. From there, Reality’s 2MEME consensus selects snapshots across the network that represent the highest information gain, the most meaningful or novel progress, and uses those to move the network forward. This creates a shared global state without requiring synchronized clocks. If real-world timestamps are needed (say for audits or external systems), Reality lets you attach time metadata from trusted sources. But time is never the foundation of consensus, computation is. Global coordination emerges from local causality. That’s how Reality stays coherent without ever needing a clock. ------- Isn’t that how real life works? Each of us moves on our own timeline, responding to what we’ve seen, what we know. We’re all just nodes 🙂 in a shared reality. And somehow, without a central clock, it works. We sync through meaning, not time.
English
0
1
9
116
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
The internet never had a trust layer. Blockchains tried to build one. Reality goes deeper. 🎥 Part 1: What is Reality? by @andrew_seer
English
12
30
61
4.3K
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
What is Reality? Clip of @wyatt_noise at @DePINSummit this past summer in Zanzibar
English
5
13
32
2.2K
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
> Crypto started as a cypherpunk project > User sovereignty > Cryptography over institutions > Participation over permission > Today, much of crypto runs on Web2 rails > Exchanges, infra, even settlement depend on rented trust > We’re building a global p2p network > Inspired by Bitcoin’s principles > Extending decentralization beyond money into software and apps > A new public, permissionless truth layer for the internet > If this feels like the direction things should have gone all along, you’re not alone >> Join our community and start mining test $NET on your home PC, Mac, or Linux: discord.gg/e7cVaG34N2
English
2
14
32
1.7K
ThereIsNoSmartContract retweetledi
Wake
Wake@WakeFramework·
Writing blockchains in Solidity. Proving Turing-complete code with ZK. Babel for formally verifiable distributed systems. These aren't thought experiments anymore. Formal verification used to mean month-long engagements and PhD-level math. Now it's moving into developer workflows. The question isn't whether your code is verifiable. It's whether you're catching issues before they ship. Wake Arena's approach sits between manual audits and full formal proofs. 108 detectors from real audit patterns. Graph-driven reasoning through data dependencies. Python tests that target specific vulnerability classes. Not theoretical perfection, but practical security depth. The gap between "it compiles" and "it's safe" keeps growing. Tools need to close that faster than exploits can find it. Whether through ZK proofs, formal DSLs, or battle-tested static analysis, verification is table stakes now. Build verifiable or get rekt. The market doesn't care about intentions.
Wyatt Meldman-Floch@wyatt_noise

What if you could write an entire blockchain in #solidity? What if you could prove turing complete code with zk proofs? What if every #blockchain could interoperate with one another without any code change? Babel is a DSL for formally verifiable, halt-free distributed systems

English
1
8
11
414
ThereIsNoSmartContract retweetledi
Wyatt Meldman-Floch
Wyatt Meldman-Floch@wyatt_noise·
I had this pipe dream that you could build a programming language to orchestrate everything that goes into multi layered consensus protocols Like what solidity was supposed to be I did it, cleaning up now
English
4
8
39
2.2K
ThereIsNoSmartContract retweetledi
Fitz
Fitz@0xFitz·
Market is shit to trade rn, so why not mine it? I've been interested in a project called @RealityNetw0rk, and I've spun up a few nodes to contribute to their incentivised testnet. (Yes, running nodes earns you $NET on mainnet) Reality is led by Wyatt Meldman-Floch (@wyatt_noise), the architect of Constellation - $DAG. So safe to say, he has a great deal of experience with DAG-based blockchains. I don't often shill stuff these days - but thought this was an interesting opportunity that reminded me of Quilibrium $wQUIL in its very early days, and I know many of you have been waiting to sink your teeth into a new project, and given the state of the market, mining doesn't look so bad here. So a bit about Reality... Reality is a DAG-based Layer 0 (much like Keeta). The focus is on verifying computation, proving that work actually happened, not just trusting outputs. It’s also not an “AI chain” in the hype sense, but it does make verifiable AI possible by proving model execution and inference off-chain. That part especially caught my interest. Right now, it’s still very early, research-heavy, and pretty quiet, which I honestly prefer. They still need a lot of house cleaning, and I'm hoping that as the project grows, they'll adopt community contributions, as the current documentation is out of date and Discord is all over the place and needs a lot of love. (easy fix, however) Not saying this is guaranteed to be anything, just sharing what I’m personally spending time on while the market’s dead and trading feels pointless. At the time of writing, only ~200 nodes are running. You can contribute to the testnet via the following ways; > Windows Portal Miner > Mac Portal Miner > Linux VPS Miner Both Windows and Mac are pretty straightforward applications you run and open ports for. Linux Miner requires some finesse, but many VPS node runners are likely familiar with the process. Below, I've attached links to miner info and setups. Their small community is on Discord, so join there for more info. (post is not sponsored, I've just chatted with Wyatt and think he's a top bloke and I like running nodes while markets are in a shit state, so sharing for others)
Fitz tweet media
English
1
7
29
2.6K
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
Our consensus, called 2MEME, turns truth into a measurable signal. Most chains treat nodes like potential liars. Reality treats them like sensors: >node reports signal >network evaluates signal >accurate signals gain influence >bad signals lose weight >truth emerges automatically Consensus on most chains is basically a courtroom: >everyone argues >everyone votes >sometimes they auction truth >slow >expensive >gameable Reality changes how truth is found. It emerges the way it does in nature, by signal alignment. Lying can’t scale. >bad data = less influence >accurate data = more influence >network self-corrects >network learns who to trust >trust comes from math, not wealth This is more than consensus. It’s the foundation for rApps, new economies, and a more truthful internet. ⟐ What is real will prosper
English
16
9
30
1.3K
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
Quick context on the tokenomics series 👇 Part 1: Showed why blockchain costs behave like physics. Congestion isn’t a bug. It’s pressure. Fees are a symptom. Part 2: Introduced $NET as a coordination asset. Tokens are locked to reserve capacity, not spent on fees. Part 3: Completes the picture. Stake increases efficiency without buying control.
English
0
1
8
241
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
The real unlock is when: • real programs run (not toy circuits) • proofs are generated by default • execution happens across many independent devices • consensus rewards information, not stake or authority Now verification and decentralization reinforce each other.
English
1
8
15
232
ThereIsNoSmartContract retweetledi
Reality
Reality@RealityNetw0rk·
Atomic swaps, but actually atomic No LPs, no AMMs, no wrapped tokens All that stuff just fractures liquidity We unify reality
English
1
6
19
803