Isomorphism

73 posts

Isomorphism

Isomorphism

@Isomorphism256

Blockchain | ZK | @__zkhack__ Istanbul Top Prize Winner

Singapore Inscrit le Temmuz 2023
342 Abonnements40 Abonnés
逍遥XTony
逍遥XTony@xtony1314·
我不看好crcl, 有人把crcl类比成visa或者matercard, 完全是扯淡, visa是赚手续费的,你用visa卡支付,visa要抽几个点的手续费,每笔都抽, 你想想如果支付宝/微信每笔都抽几个点的手续费,什么概念。 crcl能赚到这个钱吗?我使用usdc还要给crcl手续费? 盈利模式不行,crcl就只能赚点美元和国债之间的息差,毫无前途。
中文
71
16
277
96.6K
Isomorphism
Isomorphism@Isomorphism256·
@wsjack_eth 虽然但是,智商的定义就是以人类智力平均数为100,标准差为15的正态分布
中文
0
0
0
476
Isomorphism
Isomorphism@Isomorphism256·
@zmt021 citi是这样的,经历过一样的事…
中文
0
0
0
284
流浪国男
流浪国男@zmt021·
信用卡被封,打电话给客服,客服让我去邮箱里找验证码,我在收件箱、垃圾邮件里找了半天没有,烦了就把电话挂了。。。过了一个星期收到一封信,上边有四个数字
流浪国男 tweet media
中文
9
1
46
8.5K
Isomorphism
Isomorphism@Isomorphism256·
@mranti 当然不一样。航模的遥控是完全确定的机械行为。现在很多机器人,看起来你在遥控上给了单纯一个前进指令,但他会根据环境的信息输入选择不同方式的前进。比如前面面对楼梯还是平地,这都是要做出不同反应的。
中文
0
0
0
314
Michael Anti
Michael Anti@mranti·
以后能否加一个限定:凡是要用遥控的,都不算真正的机器人?看着遥控机器人跑步、拳击,这不是回到少年航模时代了吗?
中文
74
3
158
51.5K
Hazel Hu
Hazel Hu@0xHY2049·
@ConstantinGao 匿名抗审查政治献金平台怎么还没有人做起来
中文
3
0
1
83
Isomorphism
Isomorphism@Isomorphism256·
I leanred very recently that most CEX do not even have price charts for duration longer than 1 month. I suspect that’s one of the reasons many people complaining about Ethereum price not going up.
English
0
0
1
70
sun
sun@sunbh_eth·
you think CES was big? nah... @expo2025_japan will be the largest tech exhibition of the year. and where do you see web3 in this? here @web25_world 🫡 oh btw, can someone connect me with projects and individuals that wants mass adoption? like @base @Optimism @farcaster_xyz @unichain or others
sun tweet media
English
2
3
11
514
Isomorphism retweeté
Naval
Naval@naval·
Bitcoin is insurance against politicians.
English
150
1.3K
6.2K
0
Isomorphism retweeté
lynk
lynk@lynk0x·
ETH is so dead, they now offering to let you watch ads instead of pay gas. 
lynk tweet media
English
1.9K
1.1K
13.8K
1.7M
Isomorphism retweeté
ETHPanda
ETHPanda@ETHPanda_Org·
ETHPanda Young Hacker Odyssey Plan results are in! 🎉 After two weeks and three rounds of selection, here’s our final list: Lexin Zheng, 0xhardman, Li Yong Qi, lidamao, Kriz, S7iter, Shouhao Wang, Dex Dixing Xu, Hang Li, Ploy (Luna fang), qian zhang, xianyu Cai, Treap, Thurder, Yanbo, jason fan, beavn, Yue Ying, Mingzhe Wang, Jade Xie, Akhil Nanavati, Box! 🔥 Congrats to all selected!👏 For those who didn’t make it, don’t worry—ETHPanda will keep supporting Chinese-speaking developers with ticket sponsorships and more events to link with the global ecosystem! 🌐💪 Thank you once again to all the sponsors of this event: ✨ 2000U: @Quark_Chain is pioneering the creation of a "Super World Computer" - a fully decentralised blockchain network with unmatched scalability and security. This innovative platform harnesses QuarkChain's superior computing power. quarkchain.io 南塘 DAO: 礼失而求诸野,Web3 from the Soil 📷 1000U: @webisopen Open Information Grant aims to foster a landscape where Open Information is not just a hollow concept, but a concrete reality that drives the development of groundbreaking applications. openinformation.io/grant 🌍 500U: @BoxMrChen (RescueBox) @1dot2 Guo Yu (SECBIT Labs) @bobjiang123 (ETH Sydney) @HackQuest (FREE Web3 dev education platform) @LXDAO (An R&D-focused DAO in Web3 for sustainably supporting valuable Web3 Public Goods and Open Source)、 @0xBlockBooster (Venture Studio focused on Asia) @theNextDAO Meta Foxes (Crypto since 2017. Meta Foxes NFT incubator) #ETHPanda #Devcon #ETHGlobal
ETHPanda tweet media
ETHPanda@ETHPanda_Org

ETHPanda 青年黑客远航计划结果出炉!🎉 历经两周、三轮筛选,最终名额已确定: Lexin Zheng、0xhardman、Li Yong Qi、lidamao、Kriz、S7iter、Shouhao Wang、Dex Dixing Xu、Hang Li、Ploy (Luna fang)、qian zhang、xianyu Cai、Treap、Thurder、Yanbo、jason fan、beavn、Yue Ying、Mingzhe Wang、Jade Xie、Akhil Nanavati、Box!🔥 恭喜所有入选者!👏 也请没有选上的朋友别灰心,ETHPanda 将持续推出更多机票赞助和支持活动,为华语开发者提供更多与国际生态链接的机会!🌐💪 再次感谢本次活动的所有赞助商: ✨ 2000U: @Quark_Chain is pioneering the creation of a "Super World Computer" - a fully decentralised blockchain network with unmatched scalability and security. This innovative platform harnesses QuarkChain's superior computing power. quarkchain.io 南塘 DAO: 礼失而求诸野,Web3 from the Soil 📷 1000U: @webisopen Open Information Grant aims to foster a landscape where Open Information is not just a hollow concept, but a concrete reality that drives the development of groundbreaking applications. openinformation.io/grant 🌍 500U: @BoxMrChen (RescueBox) @1dot2 Guo Yu (SECBIT Labs) @bobjiang123 (ETH Sydney) @HackQuest (FREE Web3 dev education platform) @LXDAO (An R&D-focused DAO in Web3 for sustainably supporting valuable Web3 Public Goods and Open Source)、 @0xBlockBooster (Venture Studio focused on Asia) @theNextDAO Meta Foxes (Crypto since 2017. Meta Foxes NFT incubator) #ETHPanda #Devcon #ETHGlobal

English
3
6
10
3.6K
Isomorphism
Isomorphism@Isomorphism256·
China rarely vote for anything, but when China vote, it requires ID lmao.
English
0
0
1
26
Michael Anti
Michael Anti@mranti·
在埃及举办的2024年信息奥林匹克竞赛中国队出事了,今年中国队别想金牌了。带开机手机上厕所被抓的是杭州文渊中学的沈吉滪,被查到带手机但没开机的是人大附中的黄洛天、华师二附中的郭羽冲,只有杭州文渊中学的周康阳没事。领队是清华大学韩文弢博士。
Michael Anti tweet media
中文
33
36
338
183.4K
Isomorphism retweeté
michael
michael@no89thkey·
"Specialized" vs. "Generalized" ZK: Which One is the Future? Let me attempt to answer this with one figure: Is it possible that we will converge on just one magical optimal point in the tradeoff plane? No, the future of off-chain verifiable computing is a continuous curve that blurs the line between specialized and generalized ZK. Allow me to explain how these terms have evolved historically and how they will converge in the future. Two years ago, "specialized" ZK infrastructures meant low-level circuit frameworks such as circom, Halo2, and arkworks. ZK Apps built with these were essentially hand-written ZK circuits. They are fast and low-cost for very specific tasks but are generally difficult to develop and maintain. They are analogous to various specialized integrated circuit chips (physical silicon), such as NAND chips and controller chips, in today’s IC industry. Over the last two years, however, "specialized" ZK infrastructures have evolved to become much more "generalized." We now have ZKML, ZK Coprocessor, and ZKSQL frameworks that provide easy-to-use and highly programmable SDKs to build different classes of ZK Apps without writing a single line of ZK circuit code. ZK Coprocessors, for example, allow smart contracts to trustlessly access historical blockchain states/events/transactions and run arbitrary computations on that data. ZKML enables smart contracts to trustlessly utilize AI inference results for a broad class of machine learning models. These evolved frameworks have significantly improved programmability within their target domains, while still maintaining high performance and low costs because the abstraction layer (SDK/APIs) is thin and close to the bare-metal circuits. They are analogous to GPUs, TPUs, and FPGAs in the IC market: they are programmable and domain experts. ZKVMs have also evolved considerably in the last two years. It’s important to note that all generalized ZKVMs are built on top of low-level, specialized ZK frameworks. The idea is that you can write ZK Apps in high-level languages (even more user-friendly than the SDK/APIs), which can be compiled down to a combination of specialized circuits of instruction sets (RISC-V or WASM-like). In our analogy of the IC industry, they are like CPU chips. ZKVMs are a layer of abstraction on top of low-level ZK frameworks, just like ZK Coprocessors and etc, albeit a much thicker layer. As a wise man once said, one layer of abstraction can solve every computer science problem but creates another problem at the same time. Tradeoff, my friend, is the name of the game here. Fundamentally, with ZKVMs, we are trading off between performance and generalization. Two years ago, the “bare-metal” performance of ZKVMs was truly horrible. However, in just two short years, the performance of ZKVMs has improved significantly. Why? Because these "generalized" ZKVMs have become much more "specialized"! One key area of performance gain comes from "pre-compiles". These pre-compiles are specialized ZK circuits that can compute commonly useful and high-level programs, such as SHA2 and various signature verifications, much quicker than the normal flow of decomposing them into bits and pieces of instruction circuits. Thus, the trend is quite clear now. Specialized ZK infrastructures are becoming increasingly generalized, and generalized ZKVMs are becoming more specialized as we speak! For both solutions in the last couple of years, the optimization is achieving strictly better tradeoff points than before: getting better on one point without sacrificing the other. This is why both sides feel that “we are absolutely the future.” However, computer science wisdom tells us all, at one point, we will hit the “Pareto optimal wall” (green dashed line) where we cannot improve one trait without sacrificing another. So, the million-dollar question arises: will one completely replace the other in due time? If the IC industry analogy can be of any help: the market size for CPUs is $126 billion and the entire IC industry, adding all “specialized” ICs, is $515 billion. I do believe, on a micro-level, history will rhyme here and they will not replace each other. Having said that, today no one says, “Hey, I am using a computer powered exclusively by generalized CPUs,” or “Hey, look at this fancy robot powered by specialized ICs.” Yes, we should really view this whole matter at a macro level, where the future is to provide a tradeoff curve for developers to flexibly choose based on their individual needs. In the future, domain-expert ZK infrastructures and generalized ZKVMs can and will work together. This can happen in many forms. The simplest way to do this is already possible today. For example, you might use ZK Coprocessors to generate some computation results over a long history of blockchain transactions, but the computation business logic on top of this data is so complex that you cannot easily express it in the SDK/APIs. What you can do is to get high-performance and low-cost ZK proofs of the data and intermediary computation results and then funnel these to a generalized VM through proof recursion. While I do think these types of debates are fun, I know we are all building this async computing future for blockchain powered by off-chain verifiable computing. As we see use cases with large-scale user adoption emerge in the next years, I am sure this debate can be easily resolved.
michael tweet mediamichael tweet media
English
5
26
130
15.7K
Isomorphism retweeté
Joe Biden
Joe Biden@JoeBiden·
Joe Biden tweet media
ZXX
79K
158.8K
920K
446.7M