Tootfinder

Opt-in global Mastodon full text search. Join the index!

@texttheater@mastodon.social
2024-02-15 06:59:25

Apparently there has been a blockchain in “the Public and Commercial Notices section of the Times” for over 30 years ⁉️ medium.com/@johnmarkoff/rethin

@arXiv_csLO_bot@mastoxiv.page
2024-02-19 07:19:33

Towards benchmarking of Solidity verification tools
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
arxiv.org/abs/2402.10750

@arXiv_csDC_bot@mastoxiv.page
2024-02-19 08:16:58

This arxiv.org/abs/2401.16292 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_csCR_bot@mastoxiv.page
2024-02-14 08:28:21

This arxiv.org/abs/2402.00220 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_csGT_bot@mastoxiv.page
2024-04-16 06:50:07

Centralization in Proof-of-Stake Blockchains: A Game-Theoretic Analysis of Bootstrapping Protocols
Varul Srivastava, Sankarshan Damle, Sujit Gujar
arxiv.org/abs/2404.09627

@arXiv_csDS_bot@mastoxiv.page
2024-03-18 08:31:38

This arxiv.org/abs/2403.03906 has been replaced.
initial toot: mastoxiv.page/@arXiv_csDS_…

@arXiv_qfinGN_bot@mastoxiv.page
2024-02-19 08:34:43

This arxiv.org/abs/2401.04521 has been replaced.
initial toot: mastoxiv.page/@arXiv_qfi…

@anildash@me.dm
2024-02-08 05:06:46

Fun fact: in his promo for this book, Chris repeatedly describes smart contracts on the blockchain as being equivalent to collective bargaining, presenting this as an obviously meritorious thing. Clearly, workers at A16Z portfolio companies should pursue those virtues, no blockchain required!
From: @…

@arXiv_csCR_bot@mastoxiv.page
2024-03-18 06:48:08

Liquid Staking Tokens in Automated Market Makers
Krzysztof Gogol, Robin Fritsch, Malte Schlosser, Johnnatan Messias, Benjamin Kraner, Claudio Tessone
arxiv.org/abs/2403.10226

@tante@tldr.nettime.org
2024-02-08 12:39:18

I really enjoyed @…'s review of Chris Dixon's new book about #Web3.
What I found most fascinating was his ongoing claim that critics "just don't understand blockchain/tokenization". Like, my man, I could explain blockchains and smart contracts to a chim…

@Techmeme@techhub.social
2024-04-07 04:20:47

Dune Analytics: decentralized exchange Uniswap tops $2T in all-time trading volume after breaching $1T in May 2022 and remains the largest DEX by trading volume (Brayden Lindrea/Cointelegraph)
cointelegraph.com/news/uniswap

@simon_lucy@mastodon.social
2024-03-29 14:23:22

Google reversed its decisions on advertising Bitcoin related 'investments'.
#CryptoShit

@arXiv_qfinGN_bot@mastoxiv.page
2024-02-19 08:34:42

This arxiv.org/abs/2311.18164 has been replaced.
initial toot: mastoxiv.page/@arXiv_qfi…

@anildash@me.dm
2024-02-08 05:06:46

Fun fact: in his promo for this book, Chris repeatedly describes smart contracts on the blockchain as being equivalent to collective bargaining, presenting this as an obviously meritorious thing. Clearly, workers at A16Z portfolio companies should pursue those virtues, no blockchain required!
From: @…

@arXiv_csCR_bot@mastoxiv.page
2024-04-05 06:47:55

What Blocks My Blockchain's Throughput? Developing a Generalizable Approach for Identifying Bottlenecks in Permissioned Blockchains
Orestis Papageorgiou, Lasse B\"ortzler, Egor Ermolaev, Jyoti Kumari, Johannes Sedlmeir
arxiv.org/abs/2404.02930

@cybeardjm@masto.ai
2024-02-01 22:29:08

"Big tech killed the internet — blockchain can help revive it"
WTF? it's 2/1/2024 guys, wake up...
Oh, "The author [Dixon] is general partner at Andreessen Horowitz" (aka a16z). OK, then... The VCs are back, looking for more greater fools... oh this one just published a book...

@simon_lucy@mastodon.social
2024-03-29 14:23:22

Google reversed its decisions on advertising Bitcoin related 'investments'.
#CryptoShit

@arXiv_qfinTR_bot@mastoxiv.page
2024-03-07 07:23:37

am-AMM: An Auction-Managed Automated Market Maker
Austin Adams, Ciamac Moallemi, Sara Reynolds, Dan Robinson
arxiv.org/abs/2403.03367

@arXiv_csCR_bot@mastoxiv.page
2024-04-09 06:48:10

Towards a low carbon proof-of-work blockchain
Agron Gemajli, Shivam Patel, Phillip G. Bradford
arxiv.org/abs/2404.04729

@arXiv_csGT_bot@mastoxiv.page
2024-01-25 06:09:57

Designing Redistribution Mechanisms for Reducing Transaction Fees in Blockchains
Sankarshan Damle, Manisha Padala, Sujit Gujar
arXiv.org/abs/2401.13262

@jtk@infosec.exchange
2024-03-08 14:00:15

Weekend Reads
* Fiber in the home #Fiber #BGP #RU #Database #NIST #Decentralization

@arXiv_csDC_bot@mastoxiv.page
2024-03-11 08:30:59

This arxiv.org/abs/2311.13936 has been replaced.
initial toot: mastoxiv.page/@arXiv_csDC_…

@arXiv_econGN_bot@mastoxiv.page
2024-03-29 06:59:50

Blockchains, MEV and the knapsack problem: a primer
Vijay Mohan, Peyman Khezr
arxiv.org/abs/2403.19077 arxiv.org/pdf/…

@arXiv_csCR_bot@mastoxiv.page
2024-02-16 07:21:59

Transaction Capacity, Security and Latency in Blockchains
Mustafa Doger, Sennur Ulukus
arxiv.org/abs/2402.10138 arxiv…

@Techmeme@techhub.social
2024-03-21 16:25:44

Succinct, which is building zero-knowledge proof tech for blockchain apps, raised $55M led by Paradigm across a seed and a Series A (Brady Dale/Axios)
axios.com/2024/03/21/succinct-

@arXiv_csSE_bot@mastoxiv.page
2024-03-26 07:15:44

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu
arxiv.org/abs/2403.16073

@arXiv_csCR_bot@mastoxiv.page
2024-03-12 08:36:50

This arxiv.org/abs/2311.08167 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csNI_bot@mastoxiv.page
2024-03-29 08:34:29

This arxiv.org/abs/2403.13230 has been replaced.
initial toot: mastoxiv.page/@arXiv_csNI_…

@arXiv_csDS_bot@mastoxiv.page
2024-03-07 06:53:21

On HTLC-Based Protocols for Multi-Party Cross-Chain Swaps
Emily Clark, Chloe Georgiou, Katelyn Poon, Marek Chrobak
arxiv.org/abs/2403.03906

@arXiv_csCR_bot@mastoxiv.page
2024-02-29 06:47:56

Performance modeling of public permissionless blockchains: A survey
Molud Esmaili, Ken Christensen
arxiv.org/abs/2402.18049

@arXiv_csLO_bot@mastoxiv.page
2024-03-26 07:27:14

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
M. Praveen, Raghavendra Ramesh, Isaac Doidge
arxiv.org/abs/2403.16637

@arXiv_csGT_bot@mastoxiv.page
2024-03-07 08:26:23

This arxiv.org/abs/2403.02525 has been replaced.
initial toot: mastoxiv.page/@arXiv_csGT_…

@arXiv_csGT_bot@mastoxiv.page
2024-03-07 08:26:23

This arxiv.org/abs/2403.02525 has been replaced.
initial toot: mastoxiv.page/@arXiv_csGT_…

@arXiv_csSE_bot@mastoxiv.page
2024-03-21 07:23:19

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu
arxiv.org/abs/2403.13279

@arXiv_csLO_bot@mastoxiv.page
2024-03-26 07:27:14

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
M. Praveen, Raghavendra Ramesh, Isaac Doidge
arxiv.org/abs/2403.16637

@arXiv_csCR_bot@mastoxiv.page
2024-03-13 07:17:37

Atomicity and Abstraction for Cross-Blockchain Interactions
Huaixi Lu, Akshay Jajoo, Kedar S. Namjoshi
arxiv.org/abs/2403.07248

@arXiv_csDC_bot@mastoxiv.page
2024-01-30 07:16:17

This arxiv.org/abs/2310.09663 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_csCR_bot@mastoxiv.page
2024-02-13 14:32:31

This arxiv.org/abs/2312.04579 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…

@arXiv_csGT_bot@mastoxiv.page
2024-03-06 07:23:15

An Analysis of Intent-Based Markets
Tarun Chitra, Kshitij Kulkarni, Mallesh Pai, Theo Diamandis
arxiv.org/abs/2403.02525

@arXiv_csSE_bot@mastoxiv.page
2024-03-21 07:23:19

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu
arxiv.org/abs/2403.13279

@arXiv_csNI_bot@mastoxiv.page
2024-03-21 07:29:25

BFT-PoLoc: A Byzantine Fortified Trigonometric Proof of Location Protocol using Internet Delays
Peiyao Sheng, Vishal Sevani, Himanshu Tyagi, Pramod Viswanath
arxiv.org/abs/2403.13230

@arXiv_csDC_bot@mastoxiv.page
2024-01-26 07:53:42

This arxiv.org/abs/2310.09663 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_csCR_bot@mastoxiv.page
2024-04-09 06:48:21

Optimizing Information Propagation for Blockchain-empowered Mobile AIGC: A Graph Attention Network Approach
Jiana Liao, Jinbo Wen, Jiawen Kang, Yang Zhang, Jianbo Du, Qihao Li, Weiting Zhang, Dong Yang
arxiv.org/abs/2404.04937

@arXiv_csDC_bot@mastoxiv.page
2024-01-25 08:01:33

This arxiv.org/abs/2310.09663 has been replaced.
link: scholar.google.com/scholar?q=a

@arXiv_csNI_bot@mastoxiv.page
2024-03-21 07:29:25

BFT-PoLoc: A Byzantine Fortified Trigonometric Proof of Location Protocol using Internet Delays
Peiyao Sheng, Vishal Sevani, Himanshu Tyagi, Pramod Viswanath
arxiv.org/abs/2403.13230

@arXiv_csCR_bot@mastoxiv.page
2024-03-07 06:48:04

Kronos: A Robust Sharding Blockchain Consensus with Optimal Communication Overhead
Andi Liu, Yizhong Liu, Zhuocheng Pan, Yinuo Li, Jianwei Liu, Yuan Lu
arxiv.org/abs/2403.03655

@arXiv_csDC_bot@mastoxiv.page
2024-03-26 08:45:27

This arxiv.org/abs/2312.13938 has been replaced.
initial toot: mastoxiv.page/@arXiv_csDC_…

@arXiv_csCR_bot@mastoxiv.page
2024-01-22 06:22:28

This arxiv.org/abs/2308.16902 has been replaced.
initial toot: mastoxiv.page/@arXiv_csCR_…