Tannr 🦾🤖
@intent_dev
Followers
2,238
Following
2,081
Media
62
Statuses
2,607
Co-founder & CTO @khalani_network 🦾 🤖| proof language engineering | prev r&d @nervosnetwork | powered by peptides
In a DB
Joined April 2018
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
SEVENTEEN
• 1224152 Tweets
Taylor
• 216490 Tweets
Carat
• 77116 Tweets
FELIP TAKES ON BBPHSTAGE
• 67873 Tweets
#TimnasDay
• 64460 Tweets
オーストラリア
• 60151 Tweets
#サッカー日本代表
• 45425 Tweets
#バナナサンド
• 35695 Tweets
オウンゴール
• 27773 Tweets
最終予選
• 25815 Tweets
ミンギュ
• 25205 Tweets
金木犀の香り
• 23376 Tweets
OHM FOR DEVY
• 21490 Tweets
Zaplana
• 20816 Tweets
うさぎだらけくじ
• 18719 Tweets
ジョシュア
• 18686 Tweets
ドギョム
• 17891 Tweets
スングァン
• 17857 Tweets
كوريا
• 15355 Tweets
Asnawi
• 14631 Tweets
Kamran Ghulam
• 14251 Tweets
Witan
• 13654 Tweets
Shayne
• 13587 Tweets
نعيم قاسم
• 12397 Tweets
#daihyo
• 12124 Tweets
中村敬斗
• 11602 Tweets
Pinned Tweet
Verification-Centric Chains, Common Knowledge Machines, and Intents
Verification-centric blockchains outsource the computation/generation of transactions to off-chain agents ("solvers").
But a verification-centric chain is only as good as its verifier (the VM). You can judge a
1
12
42
@ekzhang1
1. It's a new startup. He's citing past accomplishments because the *first* set of employees are basically betting on the founders' likelihood of success.
2. It's short and to the point; not wasting your time with beating around the bush.
3. If this info were not included in the
2
1
252
Here is my short tutorial on
@rustlang
:
1. Read the book
2. Read rust in action
3. Read RfR
4. Read the nomicon
5. Utilize Programming Rust as gr8 reference
Ty to authors of above, who made it possible for me to write such a short tutorial.
4
17
172
Been fun working with
@not_pablinux
for
@NervosNetwork
's hackathon. We stuck to L1 so we could show how powerful UTXOs on CKB are & to test our utxo-dapp framework, Trampoline by
@IAMM_Network
. Tempest enables ez bonding curves, dexentralized exchange & configurable tokenomics
6
27
105
1/ Building on
@NervosNetwork
just got way easier.
Easy install & start of local node (pre-installed w/ pw-lock, sudt, nft & more).
Fullstack dapp generation w/ 'create-ckb-dapp'. Fully configured for the local chain, indexer, and smart contracts.
Soon to be open sourced.
6
31
99
I have a friend (prev Web2 dev) who I've personally trained the last 3 months in smart contracts. He's a rare combo of high skill, high ability, low experience (in web3, that is). He's ready for interviews. DM me if u could use a top tier SC dev at a jr dev price.
#web3
4
3
93
Sad to see people hating on
@VictorTaelin
purely because he unabashedly shares his random thoughts.
Even geniuses are frequently wrong. He’s just not afraid to be wrong publicly.
I’ve worked with him in the past and I’ll say this: he is highly intelligent, very humble, and his
I have not seen a statement with worse understanding of the both kernels / systems programming and LLMs than this one.
41
97
3K
6
4
94
$CKB is the mitochondria of the digital economy, powering all cells on the network.
Mitochondrial health is crucial to a good life.
Take ur coq10 and hold ur $CKB and reap the benefits of a long and fulfilling life.
(Not financial advice… or medical advice… make sure to
1
21
87
Pretty cool how
@NervosNetwork
VM is designed. The implementation simply exposes an interface for a particular host to register syscalls. CKB-VM is just an extensible RISC-V simulator (w/ full ELF support). Could be used for many different types of chains with ease.
2
26
86
We talk about
@NervosNetwork
’s Cell Model all the time internally at
@khalani_network
. CKB is such an elegant system and learning to think in terms of Cells unlocked so many new mental models that, incidentally, are quite relevant for intents
3
19
85
CKB ecosystem is barreling forward with impressive new projects. $CKB has been a sleeping giant for a long time. The developments that are now coming out of
@NervosNetwork
community set themselves apart from many other ecosystems' large swathe of superficial & derivative
3
19
83
@trent_vanepps
@marcandu
Quickly grabbed a recording of him talking & then getting rug pulled because I fully expected it to be taken down. Not photoshopped indeed.
4
13
75
Big updates to Trampoline (dapp framework for
@NervosNetwork
) tonight:
- Drop-in Simulation chain for complex tests
- Contract & Generator API allows tx creation w/ contract pipelines for composable txs & partial tx updates
- Way more info in README
1
27
74
@Kollect_NFT
@tempest_labs
is happy to help. We have the resources to keep the platform running & would like to do so for the sake of the community. DM me if interested and let’s keep CKB bullish
10
10
59
How to build a solver network in the future:
1. Write a Validity spec
2. Publish it on
@khalani_network
3. Sit back and relax as your solver network springs to life, operating across all chains & autonomously collaborating with every other solver network & every other
#intent
3
23
62
Just like Tempest economic design infuses value into $CKB, this fun activity infuses value into the awesome community of $CKB holders! If you love
@NervosNetwork
, participate & become part of a project that demonstrates what CKB makes possible for the first time in L1 history
👋 Hey
@NervosNetwork
community, we've got an early weekend treat for you!
🪂 Exclusively for loyal $CKB holders, you'll receive an early bird
#airdrop
of our future
@tempest_labs
tokens
Let's kickstart the future of
#autonomous
Dapp building together:
37
123
187
3
18
56
@trueblocks
is probably best-in-industry tool for indexing chain data.
@tempest_labs
very own
@not_pablinux
is building an extensible indexer for
@NervosNetwork
's L1; a big piece of the puzzle for solvers. Trueblocks' design is very thoughtful & useful source of inspiration.
3
12
53
Generalized UTXO platforms like
@NervosNetwork
have been providing native account abstraction for many years. We just didn’t name it because it’s so implicit and so simple from a UTXO-centric perspective
1
7
53
1/ I’m running a CKB giveaway
All participants must be following me to qualify.
Retweet: 2 points
Like: 1 point
Follow
@NervosNetwork
: 3 points
You earn 1 entry in the competition per point. For each like and retweet, the reward will increase by $1USD worth of $CKB
10
24
43
Reminds me of
@tempest_labs
decentralized network of programmable automatons. Smart contracts on Tempest are:
- Declarative
- Context-aware
- Reactive to events on-chain (w/o being called)
Creating the abstraction of an independently functioning entity that does your bidding
Programmers will command armies of software agents to build increasingly complex software in insane record times. Non-programmers will also be able to use these agents to get software tasks done. Everyone in the world will be at least John Carmack-level software capable.
55
126
2K
1
13
43
Everyday I learn about new collaborations emerging between
@khalani_network
and other really cool projects. It is a proud day for a founder when the company is growing beyond what can be held in a single person’s mind.
This is also when company building as a skill in itself
2
6
45
Made a huge dent in enabling composable transactions via smart contract pipelines for
@NervosNetwork
scripts.
Lot's left to do, but we've got the very important pipe() method implemented. Check out this test using SUDT contract
#dApp
#crypto
#blockchain
1
10
45
The path forward for mass Web3 adoption is with intents
Intents need solvers
Collaborative solving = solver composability.
Composability off-chain is something
@khalani_network
team have been thinking about for years, because its need arises in some form in any
7
16
46
I'm currently writing solidity code for recursive intent verification and it turns out that, again, this would be much easier on
@NervosNetwork
's Cell model lol
2
8
43
Me: *typing debit card info into computer*
Fiancée: what are you buying right now?
Me: “oh just more stuff from
@saifedean
“
Fiancée: “oh he has more material?! I loved the bitcoin standard!”
We are a couple who appreciates real economics
2
1
41
Thus, the Athena Foundation was born.
4
11
45
@khalani_network
will implicitly realize the full potential of intent-centric protocols. But for the world’s first blockchain of intelligence, intents are just the tip of the iceberg.
Link below 👇
6
18
44
hello, world
We're excited to announce our $2.5M Seed Round led by
@etherealvc
to unleash the full potential of intents with our decentralized solver platform!
This milestone will help us expand our team, push forward R&D, and bring Khalani to full-scale production.
20
110
227
3
5
44
The Common Knowledge Machine of
@khalani_network
is going to invert almost every convention we’ve established as an industry
3
6
42
Common knowledge is the best foundation for intent centric protocols
1
9
41
A good example of this is what
@knwang
and I are building at
@khalani_network
.
Khalani takes the best properties of verification centric network and then imbues it with the interoperability and composability that one would expect from a smart contracts platform. The dev
I specifically avoid trying to keep up to date with the latest developments in nearly all blockchain verticals.
A far more valuable way to spend one’s limited time is to focus deeply on fundamental principles related to a fundamental problem. Most “innovations at the edge” stop
3
4
17
1
7
39
A while ago, I looked at the programming models of different L1’s and concluded that the
@NervosNetwork
’s was the most flexible. Plenty of changes across the industry have since come to pass, so I’m looking again. Which L1’s are innovating at the programming model level?
8
8
36
1/5 Intent Abstraction (IA)
The one abstraction to rule them all, as promised.
We won't need to keep slapping "abstraction" at the end of every blockchain term anymore 😁 (probably)
So, why do we need IA, and what is it anyway?
We need IA because intents are already beginning
3/3 There is one kind of primitive to rule them all: even intents cannot contend, despite how powerful an abstraction they are. This will be the subject of a later post.
1
1
8
3
10
38
1/ It is commonly accepted that a Layer 1 will not scale to handle the volume of transactions handled by networks such as Visa.
Common in discussions abt tx throughput, we often compare diff systems without acknowledging that they differ in their definition of a tx
6
10
35
Future of
@creditcoin
can bring to the industry entirely new capabilities for devs.
Crucially, these capabilities *complement* use of other stacks & other chains (enabling incremental adoption is so important).
3
17
37
hello world
Today, we’re excited to announce Khalani Network. Khalani is the first decentralized solvers infrastructure for intent-driven generative coordination.
Read the full announcement here:
🧵
23
75
201
4
5
37
Many intent-centric protocols today emerge from Ethereum (on chain execution) ecosystem. Thus, things like off-chain state transition generation + on-chain verification seem like novel ideas.
But those who come from UTXO world know that this is how things began, and extended
3
13
35
Evaluation = proof checking
Solving = proof search
Intents = questions
Transactions = answers
Theory modules = ideas
Composition = creativity
@khalani_network
= a worldwide, logical thinking machine
0
9
36
Building & composing tokens & token systems with
@IAMM_Network
is as simple as creating a transaction on
@NervosNetwork
embedded with its description. The protocol takes care of the rest, from auto generated dapp capabilities to interoperability across platforms to indexing.
2
7
30
It’s hard to appreciate security and safety despite the work they require. It’s easy as an outsider to mistake it as moving slowly & lacking innovation. B/c all that additional R&D results in the absence of certain outcomes over long time horizons as opposed to shiny new feature
4
6
29
Validity is unlike any programming language we've ever seen!
Built by
@khalani_network
, it's thoughtfully designed for
#intent
protocols, solvers, smart contracts, and other security-critical software, enabling builders across industries.
Validity uniquely blends the
3
9
31
Don’t follow
@khalani_network
unless you’re ready to develop Khalaninsomnia.
Khalaninsomnia is a condition affecting many Khalanians. A form of sleep-onset insomnia caused by the purest form of bullishness. Unlike standard sleep-onset insomnia, Khalaninsomnia is not associated
1
6
32
The “Intent-Driven Automaton” is the native object on
@khalani_network
Our automatons can imbue the “AI agents” or “autonomous agents” of other ecosystem’s with verifiability without relying on economic designs like stake/slash systems to keep them honest.
We can also
0
7
31
"TokenCAD: JS Tool for Complex Systems Modeling & Cryptoeconomics"
Only couple days old. Inspired by
@cadcad_org
.
Soon, I hope it can be used as a pedagogical tool as well as an accessible & shareable way for professionals to collab
@observablehq
1
8
30
I fully believe in what I’m working on. It is now the default state of my mind to think over the problems we meet and the solutions w/ which to meet them
So grateful to find my life’s work in the act of writing queries to an image-generating AI & auctioning them as NFTs
2
4
29
I wonder how many crises in DeFi would be mitigated by TLA+ specs, *basic* incentives analysis & *starter*
@cadcad_org
models. Only takes a few weeks of study to get started
By my calculations, the precise num of crises averted is: a shit ton
Don’t be lazy w/ other people’s $
4
4
29
Welcome to the post-blockchain era, and the off-chain frontier where
Intents are the new transactions
Proofs are the new calldata
Credible accounts are the new smart accounts
Commitments are the new liquidity pools
Auctions are the new bonding curves
Solvers are the new
2
8
29
1/3 CABstraction and Intents
Chain abstraction
Account abstraction
Balance abstraction
Chain abstraction is needed because the multi-chain experience is fragmented and full of friction.
Account abstraction is needed because the Account model we are used to partitions accounts
1
5
27
Well, supply won’t decrease, but the ratio of new $CKB to existing $CKB continually decreases due to decreasing block rewards and the fact that secondary issuance is fixed.
People complain about the supply of $CKB but don't take enough time to research what it is. Nervos was built to be scarce over time. The supply will decrease & the value will increase. Those not grasping this simple yet powerful concept will be the one's tweeting they sold early.
28
52
211
2
2
25
True decentralized software that’s immune to political forces and pressures must be capable of autonomous execution, maintenance free evolution & composition, and preservation of safety properties in an unpredictable environment
1
6
25
Exciting things to come 😎
📣 We're very excited to welcome a new addition to the Creditcoin family! 👋
📜
@TannrAllard
is joining as our new Director of Blockchain Engineering, delivering the next-generation of
#Creditcoin
features to help unlock the power of
#OpenFi
.
More details 👇
14
17
63
3
1
27
Honestly I haven't looked at
@reachlang
in a long while. It's still one of the most intriguing approaches to tackling some of the problems that crop up at the programmability layer in decentralized applications.
2
2
26
@optimizoor
This pretty much happened to me. Received an offer for a position a little while ago with extremely high pay + signing bonus. Asked if we could switch to Foundry in 2023. They said it wasn't likely. I declined the opportunity.
6
0
25
interactive Common Knowledge note Books.
such an interface will usher in an age of unmatched dev experience for generalized
#UTXO
ez, simple, collaborative, fun, and fast
1
2
24
@knowledge_mon
@Kollect_NFT
@tempest_labs
If this goes through, we will migrate the platform over to Tempest infrastructure over time, enabling really cool future features. Yes, it will be a bit challenging in the beginning, but it’s worth it for Kollect community and
@NervosNetwork
community at large
1
1
22
We will utilize
@khalani_network
technology to create some of the most flexible credible accounts conceivable
The Fellowship of the OneBalance is growing 🫡
We are excited to announce new members, to join the mission: that an industry wide shift towards the use of Credible Accounts is essential to consolidate fragmented user experience, improve scalability, and most importantly, achieve
4
40
99
0
3
24
Very excited that my application was accepted to attend the first course in the new TE Academy from
@tokengineering
, where we will apply methods to design ecosystems which can be directly translated into systems designs & simulated with
@cadcad_org
!
3
7
22
My username is now
@intent_dev
, because I spend most of my time in development and I spent all of my development time dedicated to intent software
1
4
23
"You can't talk about intents without talking about solvers" -
@robbie_rollup
Indeed.
Onchain solving is one of the few sectors of crypto which is still the wild wild west.
For today's pod, we sat down with
@knwang
of
@khalani_network
to discuss the concept of intents and the intent-centric worldview in the context of chain abstraction.
We discussed the
3
13
45
0
6
21
@NervosNetwork
Kudos to Pablito - a developer on our team at
@IAMM_Network
- for making this happen!
It all started when we were setting up our CKB developer environment on a new machine. It took a lot of effort and time! What started as an internal tool we realized could help many others.
1
2
21
Job Opening
Looking for a senior applied researcher to join the research team at
@khalani_network
.
Primary responsibilities:
- Assist with partnership integrations through a rigorous process of requirements gathering, feasibility analysis, protocol design & formal
2
8
21
Counterparty discovery is important for end users in verification-centric (intent-centric) protocols.
Collaborator discovery is important for next-gen solving so that all those off-chain resources don’t exist perpetually in silos.
@khalani_network
is the only decentralized
2
3
21
I think
@IAMM_Network
's bonding curve will be the first example ever of a bonding curve deployed on a UTXO-style blockchain (
@NervosNetwork
).
1
5
21
Well done 💯
关于RGB++协议安全性的分析讨论，结论如下：RGB++ 不论在 L1 还是在 L2 上都可以获得与 Bitcoin 相同级别的安全性。在 L1 和 L2 Jump 时，RGB++ 协议额外要求资产锁定 6 个或更多的 BTC 区块，以获得在跨层使用时一致的安全性。RGB++ 协议在不妥协安全性的前提下为 BTC
14
26
115
0
2
22
I will always be a member of
@NervosNetwork
‘s developer community which grows in strength everyday, regardless of my career direction & regardless of my official place of employment. We tend to be modest at Nervos & avoid fluff... i believe that CKB will outlive us all
2
4
20
One way to describe
@khalani_network
is as an infinite dimension orderbook with a decentralized matching engine where solvers (matchmakers) subscribe to and focus on specific dimensions.
They can collaborate within the same dimensions if that dimension is scalar; they can
“Intents are limit orders, solvers are market makers.”
This viewpoint is correct as long as we also accept expanded meanings of both “orders” and “markets”.
Solvers are generic and programmable market makers of
- assets (this is how most people think now)
- time preference
2
8
38
1
8
21
1
2
19
I'm getting contacted a lot from people looking to join Nervos Network on engineering & dev relations teams! Great to see so many people interested in joining the mission of building the first multi-asset store of value platform!
3
3
17
2
1
19
Automation has officially taken a massive step forward. Get ready for WTF moments of the very best kind
IYKYK…
@khalani_network
3
5
20
If you still thinks “intents are just limit orders” or “intents are just token swaps” then you’re either ignoring the majority of developments in the space, have pathological confirmation bias, or are afraid that rise of intent technology will simultaneously mark the beginning
4
4
20
At
@pictosis
we’re building awesome stuff on top of
@NervosNetwork
... we’re taking NFTs to the next level to empower artists & designers & those who need them! Not just another place to buy & sell... I can’t wait to invite you all to
#CreateSMTHGAwesome
2
6
17
One reason the VM is called "Validity" is because it only executes logically valid code. The spec *is* the code & executions self-certify their own correctness.
I really value safety and correctness in decentralized software. I also understand that formal verification has a high
0
7
19
Here it is as a spec within IAMM asset (still in closed alpha):
Transfer:
sum(previous(x.amount | x.type = self.type)) <=
sum(next(y.amount | y.type = self.type))
Mint:
changed(sum(x.amount | x.type = self.type))
and prev(y | y.owner = self.args.owner)
it fits in a tweet
4
6
18
Intents are just a stepping stone towards the truly game changing programming model for the next iteration of the internet.
1
3
19
Zero knowledge or common knowledge?
The latter can function as a substrate for the former, but the same cannot be said of the former for the latter.
Gib moar knowledge
While everyone was focused on zkVMs, we were building ckVMs
3
17
55
0
3
18
I enjoy writing software the most when I’m judging myself on the basis of its quality the least…
I also find that the quality of code is greatest when it was enjoyable to write.
1
2
16
Token Development on CKB Part 2: Advanced Programming Concepts is out! Learn about the intricacies of
@NervosNetwork
's programming model:
3
9
17
Cofounder appreciation post! Don’t underestimate the importance of leaning on your co-founder when you need to.
@knwang
is provably good for my health… let’s see before and after talking with him
Before (red) - after (green and blue)
4
2
18
Common knowledge rollups are summarizers as opposed to accumulators
2
1
16
Excited to speak about protocol design for NFTs at this year. How do we make
#NFTs
better? No more tokens-as-dangling-pointers. No more rigidity: NFTs should be flexible enough that you don't need a new platform just to put a hat on your cryptopunk.
118 new Speakers announced for 2021. This year's 2 day 2 stage IN-PERSON event will now be held on November 2-3 at the Edison Ballrooms and rooftop. Read more:
#NFTNYC2021
#NFTs
24
49
206
2
5
18
Ownership & Interoperability are both important aspects of self-sovereign identity & data.
@ceramicnetwork
's
@identityindex
protocol built by the
@3boxdb
team is looking like a really strong approach here. We now have the tools to build web3 w/o UX or DevEx sacrifice.
0
6
18
Intents
Jeff Bezos saw the internet and thought "everything store!", he reasoned books were the best Patient 0
@TannrAllard
saw the internet of value and thought "everything store!", **what is Patient 0?**
3
10
37
0
2
18
I specifically avoid trying to keep up to date with the latest developments in nearly all blockchain verticals.
A far more valuable way to spend one’s limited time is to focus deeply on fundamental principles related to a fundamental problem. Most “innovations at the edge” stop
3
4
17
Intents enable nice improvements for human UX.
But what can be achieved when intents are utilized for solver-solver interactions unlocks far more. But we need much more than just collections of constraints to unlock autonomous, collaborative reasoning :)
0
4
17
At
@pictosis
we discovered a different way to view tokens &
#cryptoart
.
Future is Non-Fungible Systems.
Creations w/ the utility of assets, structure of networks, features of an open platform.
Create a world and hold it in your wallet.
Evolve from
#cryptoart
to
#pictoart
1
4
17
Appreciate the love
@tempest_labs
is a next generation platform for
#DeFi
. Featuring a public code and solver marketplace, where
#Developers
can earn royalties and block rewards passively. This is a massive incentive to attract top developers.
#Crypto
#web3
#ETH
#CKB
1
10
26
0
1
13
The Validity VM that is rapidly maturing internally at
@khalani_network
provides this
Most crypto ecosystems go down 1 of 2 paths:
1. Prioritize trust-minimization & developer expressivity at the expense of the user (Cosmos, Polkadot).
→ Users in these ecosystems suffer from a ton of complexity. (Lost-in-the-sauce ecosystems)
2. Prioritize performance &
8
6
78
0
4
17
Thank you ser 🫡 from one Khalanian to another
Khalani is an ambitious project that aims to provide critical unlocks in advancing app and user expressivity through its decentralized solver network.
@intent_dev
and
@knwang
are two of the brightest minds in the space and I'm so excited to be supporting and working with them.
2
6
33
1
2
16
I just supported these grants on
@gitcoin
=>
@KERNEL0x
(totally just applied to your block 2 as well),
@rotkiapp
,
@FightPandemics
,
@Givethio
,
@BanklessHQ
,
@DAppNode
,
@reachlang
,
@RadxChange
Pls join me to support so many projects working for the betterment of society 🙏
3
3
16
New version of Athena
#proof
language playground up. Put some pretty interesting examples in:
1. Proving abstract math properties
2. Rewriting & equations proofs
3. Automated theorem proving
… and more
Try some
#FormalVerification
right in your browser
0
3
15