Ledger
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Question-Aware Evidence Ledgers for Video Relational Reasoning
arXiv:2606.02506v1 Announce Type: new Abstract: The VRR-QA challenge evaluates visual relational reasoning in videos, where answers often depend on implicit spatial relations, event boundaries, target identity, and dialogue context rather than a single salient frame. We present a test-time reasoning pipeline built around a strong GPT-5.5 video QA solver and a set of question-aware evidence ledgers. The initial solver answers each question from a uniform video representation, while routed...
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
arXiv:2606.04903v1 Announce Type: new Abstract: We introduce the LLM agent architecture Agentic Redux, intended for use with nontrivial problem domains that require linear auditability. Using the typed lambda calculus, we prove that, run on appropriate domains, Agentic Redux executions are semantically guaranteed to be correct, with all decisions recorded in an append-only ledger. We present two production-grade appropriate domains, in healthcare billing compliance, and security...
Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
Announce Type: replace Abstract: Formally guaranteeing the safety and liveness of regulatory state transitions in cross-domain state synchronization systems is increasingly important as tokenized assets are operated across heterogeneous blockchain networks and off-chain ledgers. This paper presents a mechanized proof of 3,215 lines in Isabelle/HOL establishing two complementary properties. First, cross-domain state preservation (safety): a regulatory state transition on one domain is...
A Reproducible Certificate for the Brass$-$Sharifi Lower Bound in Lebesgue's Universal Cover Problem
arXiv:2606.04458v2 Announce Type: replace Abstract: Brass and Sharifi proved the lower bound 0.832 for the convex form of Lebesgue's universal cover problem by combining geometric estimates with a computer search over placements of a disk, an equilateral triangle, and a regular pentagon. This paper gives a certificate-based reproduction of that computation. The finite record consists of an adaptive ledger, a terminal-route replay, three local lower-bound certificate families, compact...
A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem
arXiv:2606.04458v1 Announce Type: new Abstract: Brass and Sharifi proved the lower bound 0.832 for the convex form of Lebesgue's universal cover problem by combining geometric estimates with a computer search over placements of a disk, an equilateral triangle, and a regular pentagon. This paper gives a certificate-based reproduction of that computation. The certificate consists of a finite adaptive ledger, a terminal-route replay, three local lower-bound certificate families, compact...
Stability of local tip pool sizes
arXiv:2302.01625v2 Announce Type: replace-cross Abstract: In directed acyclic graph (DAG)-based distributed ledgers, unreferenced blocks (tips) form the backlog of a distributed queueing system. Each new block creates one tip and attempts to remove up to $k$ existing tips by referencing them. With heterogeneous propagation delays, these service decisions are made from delayed local information, so nodes may disagree on the backlog and some reference attempts are wasted.
The Economics of Proof-of-Useful-Work
Announce Type: new Abstract: Proof-of-work (PoW) blockchains rely on computational expenditure to secure a ledger supporting a native cryptocurrency. In existing systems such as Bitcoin, this expenditure is intentionally useless: the computation secures consensus but produces no external economic output.
What is Blockchain: Everything You Need to Know (2022)
If you want to pay online, you need to register an account and provide credit card information. If you don't have a credit card, you can pay with bank transfer. With the rise of cryptocurrencies, these methods may become old.
Most Frequently Asked Questions About NFTs(Non-Fungible Tokens)
Non-fungible tokens (NFTs) are the most popular digital assets today, capturing the attention of cryptocurrency investors, whales and people from around the world. People find it amazing that some users spend thousands or millions of dollars on a single NFT-based image of a monkey or other token, but you can simply take a screenshot for free. So here we share some freuently asked question about NFTs.1)
Pseudo-Equilibria, or: How to Stop Worrying About Crypto and Just Analyze the Game
Announce Type: replace Abstract: We consider the problem of a game theorist analyzing a game that uses cryptographic protocols. Ideally, a theorist abstracts protocols as ideal, implementation-independent primitives, letting conclusions in the "ideal world" carry over to the "real world." This is crucial, since the game theorist cannot--and should not be expected to--handle full cryptographic complexity.