中文
相关论文

相关论文: Augur: a decentralized oracle and prediction marke…

200 篇论文

We present a system for running auditable and verifiable elections in untrusted environments. Votes are anonymous since the order of candidates on a ballot sheet is random. Tellers see only the position of the candidate. Voters can check…

密码学与安全 · 计算机科学 2020-11-26 Kirill A. Korinsky

Nakamoto consensus, the protocol underlying Bitcoin, has the potential to secure a new class of systems which agree on non-mathematical truths. As an example of this capability, we propose a design for a trustless, data availability oracle.…

密码学与安全 · 计算机科学 2019-10-24 Jason Teutsch

The trustworthiness of AI decision-making systems is increasingly important. A key feature of such systems is the ability to provide recommendations for how an individual may reverse a negative decision, a problem known as algorithmic…

人工智能 · 计算机科学 2026-05-13 Drago Plecko , Collin Wang , Elias Bareinboim

Confidence curves are used in uncertainty validation to assess how large uncertainties ($u_{E}$) are associated with large errors ($E$). An oracle curve is commonly used as reference to estimate the quality of the tested datasets. The…

数据分析、统计与概率 · 物理学 2022-12-20 Pascal Pernot

Millions of users rely on a market of cloud-based services to obtain access to state-of-the-art large language models. However, it has been very recently shown that the de facto pay-per-token pricing mechanism used by providers creates a…

密码学与安全 · 计算机科学 2026-03-24 Ander Artola Velasco , Stratis Tsirtsis , Manuel Gomez-Rodriguez

As we observe a trend towards the recentralisation of the Internet, this paper raises the question of guaranteeing an everlasting decentralisation. We introduce the properties of strong and soft uncentralisability in order to describe…

密码学与安全 · 计算机科学 2018-01-25 Lionel Dricot , Olivier Pereira

This paper introduces online algorithms with unreliable guidance (OAG), a model for ML-augmented online decision-making that cleanly separates the predictive and algorithmic components, thus offering a single, well-defined analysis…

人工智能 · 计算机科学 2026-05-19 Julien Dallot , Yuval Emek , Yuval Gil , Maciej Pacut , Stefan Schmid

Many online marketplaces enjoy great success. Buyers and sellers in successful markets carry out cooperative transactions even if they do not know each other in advance and a moral hazard exists. An indispensable component that enables…

计算机科学与博弈论 · 计算机科学 2012-09-11 Naoki Masuda , Mitsuhiro Nakamura

Online reputation systems are commonly used by e-commerce providers nowadays. In order to generate an objective ranking of online items' quality according to users' ratings, many sophisticated algorithms have been proposed in the…

信息检索 · 计算机科学 2014-11-19 Hao Liao , An Zeng , Yi-Cheng Zhang

An optimistic rollup (ORU) scales a blockchain's throughput by delegating computation to an untrusted remote chain (L2), refereeing any state claim disagreements between mutually distrusting L2 operators via an interactive dispute…

密码学与安全 · 计算机科学 2024-01-05 Zhe Ye , Ujval Misra , Jiajun Cheng , Wenyang Zhou , Dawn Song

Noncooperative multi-agent systems often face coordination challenges due to conflicting preferences among agents. In particular, when agents act in their own self-interest, they may prefer different choices among multiple feasible…

计算机科学与博弈论 · 计算机科学 2026-01-08 Jaehan Im , Filippos Fotiadis , Daniel Delahaye , Ufuk Topcu , David Fridovich-Keil

People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper, we propose a formal model of these environments, focussing…

计算机科学中的逻辑 · 计算机科学 2026-02-02 Lorenzo Ceragioli , Pierpaolo Degano , Letterio Galletta , Luca Viganò

Many high-stakes AI deployments proceed only if every stakeholder deems the system acceptable relative to their own minimum standard. With randomization over a finite menu of options, this becomes a feasibility question: does there exist a…

计算机科学与博弈论 · 计算机科学 2026-04-21 Davin Choo , Paul W. Goldberg , Nicholas Teh

This whitepaper introduces RIV Coin, a cryptocurrency that is fully stabilized by a diversified portfolio of invested reserves that are evaluated by professional independent third parties, and auditable and provable by the protocol. It is…

综合金融 · 定量金融 2025-05-13 Roberto Rivera , Guido Rocco , Massimiliano Marzo , Enrico Talin , Ammar Elsabe

Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious accounts, populating social networks and mimicking genuine users)…

社会与信息网络 · 计算机科学 2019-09-10 Alessandro Balestrucci , Rocco De Nicola , Marinella Petrocchi , Catia Trubiani

AI services are known to have unstable behavior when subjected to changes in data, models or users. Such behaviors, whether triggered by omission or commission, lead to trust issues when AI works with humans. The current approach of…

人机交互 · 计算机科学 2023-02-21 Biplav Srivastava , Kausik Lakkaraju , Mariana Bernagozzi , Marco Valtorta

With the rapid development of blockchain technology in recent years, all kinds of blockchain-based applications have emerged. Among them, the decentralized finance (DeFi) is one of the most successful applications, which is regarded as the…

密码学与安全 · 计算机科学 2022-01-10 Yinjie Zhao , Xin Kang , Tieyan Li , Cheng-Kang Chu , Haiguang Wang

Retroactive Public Goods Funding (RetroPGF) rewards blockchain projects based on proven impact rather than future promises. This paper reviews voting mechanisms for Optimism's RetroPGF, where "badgeholders" allocate rewards to valuable…

计算机科学与博弈论 · 计算机科学 2025-05-23 Jay Yu , Austin Bennett , Billy Gao , Rebecca Joseph

As an emerging decentralized secure data management platform, blockchain has gained much popularity recently. To maintain a canonical state of blockchain data record, proof-of-work based consensus protocols provide the nodes, referred to as…

计算机科学与博弈论 · 计算机科学 2020-03-30 Yutao Jiao , Ping Wang , Dusit Niyato , Kongrath Suankaewmanee

We study binary decision-making in governance councils of Decentralized Autonomous Organizations (DAOs), where experts choose between two alternatives on behalf of the organization. We introduce an information structure model for such…

计算机科学与博弈论 · 计算机科学 2026-04-14 Nuno Braz , Miguel Correia , Diogo Poças