用户 stephen tse(@ stse) 的最新消息

come join our hackathon to learn about blockchain! we'll help you build decentralized applications, understand open finance #defi, or manage cross-chain assets with bitcoin or ethereum.
we have collect some promising directions at https://harmony.one/ideas https://twitter.com/harmonypro...

2/ #hackthehorizon hackathon is off to a great start. We have over 250 developers registered and many are active in our discord asking our devs questions. We’re excited to see what they build. join here 👇
https://gitcoin.co/hackathon/h...

发表时间:1小时前 作者:Harmony @harmonyprotocol

来加入我们的黑客竞赛来学习区块链!我们将帮助您构建分散的应用程序,了解开放金融定义,或使用比特币或以太坊管理跨链资产。
我们收集了一些有希望的方向https://harmony.one/ideashttps://twitter.com/harmonypro。。。

2/#hackthehorizon hackathon开局不错。我们有超过250名开发人员注册,许多人积极参与我们的不和,向我们的开发人员提出问题。我们很高兴看到他们建造了什么。加入这里👇
https://gitcoin.co/hackathon/h。。。

发表时间:1小时前 作者:stephen tse @stse详情

RT: Reminder: If you're building something for #hackthehorizon hackathon, to qualify for a prize be sure to document you've started work, name your project and provide details here 👇
https://gitcoin.co/hackathon/h... https://t.co/l01muhJ5VK

RT:提醒:如果您正在为“hackthehorizon hackathon”创建一些东西,为了获得奖励,请务必记录下您已经开始工作,并在此处命名项目并提供详细信息👇
https://gitcoin.co/hackathon/h。。。https://t.co/l01muhJ5VK

发表时间:4小时前 作者:stephen tse @stse详情

RT: SeeMarket is a Predictions Market on Harmony Network, vote on world events and poll the wisdom of crowds https://seemarket.one/ https://t.co/kNF7nUjSC7

转发:SeeMarket是一个和谐网的预测市场,对世界事件进行投票,并对人群的智慧进行投票https://seemarket.one/https://t.co/kNF7nUjSC7

发表时间:1天前 作者:stephen tse @stse详情
现货交易

RT: 9/ Apple has made surprising choices. They've optimized JavaScript, with special JavaScript-specific instructions, double sized L1 caches, and probably other tricks I don't know of.

转发:9/苹果做出了令人惊讶的选择。他们优化了JavaScript,使用了特殊的JavaScript特定指令,两倍大小的L1缓存,可能还有其他我不知道的技巧。

发表时间:5天前 作者:stephen tse @stse详情

honored to have worked with @mahdi_zamani_ on applying his groundbreaking research "flyclient" (with @benediktbuenz @lululixious @loi_luu, in ieee security & privacy 2020) to building gas-efficient bridges for cross-chain tx.
@ElectricCoinCo's great intro https://electriccoin.co/blog/e... https://t.co/SdlKP4pBaG

很荣幸能与@mahdi_zamani zu合作,将其开创性的研究“flyclient”(与@benediktbuenz@lululixious@loi_luu一起,在ieee安全与隐私2020中)应用于为跨链德克萨斯州建造气体高效桥梁。
@电工公司的精彩介绍https://electriccoin.co/blog/e。。。https://t.co/SdlKP4pBaG

发表时间:5天前 作者:stephen tse @stse详情

the foundation of the https://launchpad.ethereum.org... #eth2 is verified.
congrats @rosugrigore
https://daejunpark.github.io/d... https://t.co/yePE5gM1rV

基金会维护者:Adam WeinbergerAlexander WinstonLaunchpad贡献:Adam Weinberger https://Launchpad.net/~adamw Matt C https://Launchpad.net/~mvc1095#eth2已验证。
恭喜@ugrosrigore
https://daejunpark.github.io/d。。。https://pem15grev

发表时间:1周前 作者:stephen tse @stse详情

RT: To accomplish the above, we are releasing code and products aimed at understanding, publicizing, and communicating MEV metrics to users. We are also releasing open-source versions of cryptocurrency clients, modified to run private MEV auctions between miners and traders. https://t.co/KZ25Uw0ZgO

RT:为了实现上述目标,我们发布了旨在理解、宣传和向用户传达MEV度量的代码和产品。我们还发布了加密货币客户端的开源版本,修改后可以在矿商和交易员之间进行私有的MEV拍卖。https://t.co/KZ25Uw0ZgO

发表时间:1周前 作者:stephen tse @stse详情

over the last few years i set out with a team to build consensus of nodes, to scale block transactions, to create a economy of radical fairness.
i am learning that "human protocols" for team culture, community values, future choices... are the key.
https://danielcoyle.com/the-cu...

在过去的几年里,我和一个团队开始建立节点共识,扩大区块交易规模,创造一个极端公平的经济。
我正在学习团队文化、社区价值观、未来选择的“人类协议”。。。是关键。
https://danielcoyle.com/the cu。。。

发表时间:1周前 作者:stephen tse @stse详情

@QuantaMagazine has the best popular writing on this topic, by @KSHartnett
the original: https://twitter.com/QuantaMaga...
the latest: https://twitter.com/QuantaMaga...

ICYMI: Bugs leave software vulnerable to attack. By treating code like a mathematical formula and proving that it’s bug-free, researchers have removed this threat.
https://www.quantamagazine.org...

发表时间:1年前 作者:Quanta Magazine @QuantaMagazine

@QuantaMagazine在这个主题上有最好的流行文章,作者是@KSHartnett
原件:https://twitter.com/QuantaMaga。。。
最新消息:https://twitter.com/QuantaMaga。。。

漏洞使软件容易受到攻击。通过像数学公式一样对待代码并证明它是无缺陷的,研究人员已经消除了这种威胁。
https://www.quantamagazine.org。。。

发表时间:1周前 作者:stephen tse @stse详情

verified and constructive security with f* via ocaml and smt
https://www.fstar-lang.org/tut...
"Formal Verification of Smart Contracts" (in f*) https://hal.inria.fr/hal-01400...
cc @michael_w_hicks https://twitter.com/smdiehl/st...

This week I'm going to give an eff'ing overview of effect systems, using a research language that has first-class effects in the surface language.🎄
https://www.stephendiehl.com/p...

发表时间:1周前 作者:Stephen Diehl @smdiehl

通过ocaml和smt与f*进行验证和建设性安全
https://www.fstar-lang.org/tut。。。
“智能合约的正式验证”(f*)https://hal.inria.fr/hal-01400。。。
抄送@michael\u wu\hickshttps://twitter.com/smdiehl/st。。。

本周我将用一种在表面语言中具有一流效果的研究语言,对效果系统进行有效的概述。🎄
https://www.stephendiehl.com/p。。。

发表时间:1周前 作者:stephen tse @stse详情

excellent specification and security analysis by @InterlayHQ for #polkabtc: replay attacks, counterfeiting, permanent chain splits, denial-of-service attacks, sybil attacks and extortion, griefing, concurrent redeem...
https://interlay.gitlab.io/pol...
https://interlay.gitlab.io/pol...

@InterlayHQ针对#polkabtc的出色规范和安全分析:重放攻击、伪造、永久链拆分、拒绝服务攻击、sybil攻击和勒索、欺诈、并发赎回。。。
https://interlay.gitlab.io/pol。。。
https://interlay.gitlab.io/pol。。。

发表时间:1周前 作者:stephen tse @stse详情

RT: You might have seen this young man's work on The Defiant's YouTube channel singing ballads about fishy forks or being abused by bananas. We had @DirSchmidt, Creative Director at @harmonyprotocol, for an exclusive annual recap of decentralized finance!
https://www.youtube.com/watch?...

RT:你可能看过这个年轻人在YouTube频道的作品,唱着关于鱼叉或被香蕉虐待的民谣。我们邀请了@DirSchmidt,@harmonyprotocol的创意总监,@DirSchmidt为我们独家提供了一个关于分散式金融的年度回顾!
https://www.youtube.com/watch?。。。

发表时间:1周前 作者:stephen tse @stse详情

earlier @nickwh8te's long thread analyzed @renprotocol's renBTC, @keep_project's tBTC vs @InterlayHQ's PolkaBTC.
the future of cross-chain & trustless liquidity infrastructure is coming!
https://twitter.com/nickwh8te/...

Extending my original cross-chain thread to include Xclaim “cross-claim”, a bridge for $BTC or any non smart contract asset to any smart contract chain like @harmonyprotocol, by @alexeiZamyatin of @InterlayHQ
Full paper 👉 https://eprint.iacr.org/2018/6...
https://twitter.com/nickwh8te/...

发表时间:2个月前 作者:Nick White @nickwh8te

早些时候@nickwh8te的长线程分析了@renprotocol的renBTC,@keep\u project的tBTC与@InterlayHQ的PolkaBTC。
跨链和无信任流动性基础设施的未来即将到来!
https://twitter.com/nickwh8te/。。。

扩展我原来的跨链线程,包括Xclaim“cross claim”,一个$BTC或任何非智能合约资产的桥梁,到任何智能合约链,如@harmonyprotocol,由@InterlayHQ的@alexeiZamyatin提供
全文👉 https://eprint.iacr.org/2018/6。。。
https://twitter.com/nickwh8te/。。。

发表时间:1周前 作者:stephen tse @stse详情

https://polkadot.network/bitco...
congrats @alexeiZamyatin on upcoming beta launch and integrations with @polkaswap @chorusone!
not only did alex wrote the best survey paper on cross-*, https://www.interlay.io/resear... also covers collateral subscription, flash loans, stablecoin risks... https://twitter.com/stse/statu...

atomic & trustless contract calls for cross-layer, cross-shard, cross-chain...?
light clients & bridges – still early, requires LOTS of gas – will unify not just all scalability approaches but all blockchains
https://eprint.iacr.org/2019/1... sok: communication across distributed ledgers

发表时间:2个月前 作者:stephen tse @stse

https://polkadot.network/bitco。。。
恭喜@alexeiZamyatin即将发布测试版,并与@polkaswap@chorusone集成!
亚历克斯不仅在cross-*上写了最好的调查报告,https://www.interlay.io/resear。。。还包括抵押品认购,快速贷款,稳定债券风险。。。https://twitter.com/stse/statu。。。

原子和不信任合同要求跨层、跨碎片、跨链。。。?
轻型客户端和桥接(尚早,需要大量天然气)将不仅统一所有可扩展性方法,而且统一所有区块链
https://eprint.iacr.org/2019/1。。。sok:分布式账本通信

发表时间:1周前 作者:stephen tse @stse详情

RT: Horizon bridge whitepaper shows a design that combines MMR proofs and checkpointing to achieve gas efficient and fully trustless bridge between Ethereum and Harmony. https://twitter.com/harmonypro...

转发:Horizon bridge白皮书展示了一种结合MMR证明和检查点的设计,以实现以太坊和Harmony之间高效且完全不可信的桥梁。https://twitter.com/harmonypro。。。

发表时间:1周前 作者:stephen tse @stse详情

@gitcoin @SBF_Alameda @CamiRusso @arrington very kind of you @owocki @connoroday0 hosting our hackathon! let's bring quadratic wealth and fairness to the world

@gitcoon@SBF_Alameda@CamiRusso@arrington非常感谢您@owocki@connoroday0主持我们的黑客竞赛!让我们为世界带来二次财富和公平

发表时间:1周前 作者:stephen tse @stse详情

@crabbylions @harmonyprotocol @unstoppableweb @MessariCrypto @DefiantNews @coingecko @BandProtocol thanks @crabbylions. congrats on @matchaxyz $1b total volume! we are also a big believer in @0xProject and cross-exchange liquidity as utility

@crabbylions@harmonyprotocol@unstoppableweb@messarricrypto@definitnews@coingecko@BandProtocol谢谢@crabbylions。恭喜@matchaxyz总销量10亿美元!我们也非常相信@0xProject和跨交易所流动性作为效用

发表时间:1周前 作者:stephen tse @stse详情

@GainsAssociates @harmonyprotocol really enjoyed chatting with @AlexandreRaffin a few weeks ago on blockchain applications and industry trends

@几周前,GainsAssociates@harmonyprotocol非常喜欢与@alexandreaffin聊天,讨论区块链应用和行业趋势

发表时间:1周前 作者:stephen tse @stse详情

a good paper on sandwich attacks (frontrunning, backrunning) of on-chain exchanges like @UniswapProtocol
to be published in the top academic conference, ieee security & privacy at oakland 2021 https://twitter.com/HatforceSe...

Our new High Frequency Trading paper at @IEEESSP'21 quantifies attacks on Automated Market Maker exchanges #Uniswap. Protect yourself, especially important for #whales.
Congrats to @lzhou1110 @KaihuaQIN @ChristofTorres @levduc. https://t.co/2kMZT1uRh7

发表时间:3周前 作者:Arthur Gervais @HatforceSec

这是一篇关于连锁交易所的三明治攻击(前向攻击,后向攻击)的好文章,比如@UniswapProtocol
将在奥克兰2021年ieee安全与隐私顶级学术会议上发表https://twitter.com/HatforceSe。。。

我们在@IEEESSP'21上发布的最新高频交易报告量化了对自动做市商交易所Uniswap的攻击。保护自己,对鲸鱼来说尤其重要。
恭喜@lzhou1110@KaihuaQIN@christorres@levduc。https://t.co/2kMZT1uRh7

发表时间:1周前 作者:stephen tse @stse详情

@SBF_Alameda sam, how do you compare serum's vision of on-chain market-making with kyber's?
https://blog.kyber.network/kyb...

@你的市场上的山姆·凯伯的血清和你的相比怎么样?
https://blog.kyber.network/kyb。。。

发表时间:1周前 作者:stephen tse @stse详情