Private Token Balance Attestation

From Local Area Network
Revision as of 21:01, 4 November 2026 by Eleutherious (talk | contribs) (Second check: fixes to facts, dates (UTC), glosses and attribution)
Private Token Balance Attestation
What it does: A reusable private balance attestation primitive for the Logos Execution Zone (LEZ)
Stage: Prototype
Licence: MIT OR Apache-2.0
Verified on 4 November 2026 against README and commit of 25 August 2026.

Private Token Balance Attestation is a zero-knowledge tool that proves a shielded (private) token account holds at least a set number of tokens. It runs on the Logos Execution Zone (LEZ), the Logos layer that runs on-chain programs, with an off-chain path over Logos Messaging. The code is published by the GitHub account edenbd1. The README does not say whether it is an official Logos project.

What it does

  • It proves that a shielded token account holds at least N tokens without revealing the account's npk (its nullifier public key), exact balance or identity. A zero-knowledge proof shows that a statement is true without showing the data behind it. A nullifier is a one-time tag that marks a proof as used without saying who made it.
  • It verifies the proof either on chain, through a LEZ verifier program, or off chain, via Logos Messaging.
  • It uses a Risc0 guest circuit (the program whose run the Risc0 prover proves) that proves balance against the LEZ private-account commitment, with Merkle membership, context binding and nullifier emission.
  • Each proof commits to a public context ID, to prevent a proof being reused at another gate, as the README puts it.
  • Each proof is bound to a presenter key, and the presenter must sign a nonce from the verifier to be accepted.
  • For the off-chain path, it wraps the receipt in a Groth16 proof (a compact zero-knowledge proof) of about 256 bytes so it fits a Logos Messaging message.
  • It ships a client SDK, a CLI with prove, submit, send and verify commands, and a Basecamp app.
  • Four of its crates are published on crates.io, starting with attestation-core.

Stage: Prototype. The README, last changed on 20 July 2026, says in its status section "Deployed live on the public Logos Execution Zone testnet." docs/DEPLOYMENT.md records a testnet reset in July 2026 that "cleared the transaction history" of the first deployment, and a re-deploy checked on 19 July 2026. The version in metadata.json is 0.1.0 and the latest tag is an alpha.

The README says it is a "Submission for LP-0005 on ns.com". The CONTRIBUTING file calls it "a focused submission for a single λPrize".

Use it

  1. Install the Risc0 toolchain once with rzup, version 3.0.5 of cargo-risczero and r0vm.
  2. Build the CLI with cargo build --release -p attestation-cli --bin attest.
  3. Run ./scripts/demo.sh. The demo makes a presenter key, proves a balance of 1,000,000 is at least 100,000, and checks the credential locally.
  4. To use it in Basecamp, drop the packaged file app/lp-0005-attestation.lgx into the LogosBasecampDev plugins folder. The README gives the macOS path.
  5. To verify the on-chain proof from public data alone, run ./scripts/verify-onchain-proof.sh. It needs only curl, python3 and jq.

Build it

  • The build needs the Risc0 toolchain, installed with rzup (cargo-risczero and r0vm 3.0.5).
  • cargo build --release -p attestation-cli --bin attest builds the CLI.
  • Developers can add attestation-core = "0.1" to Cargo.toml instead of forking the repository.

Releases

  • Latest tag: v0.1.0-alpha, 21 May 2026 (UTC).
  • Version in app/metadata.json: 0.1.0 (module name lp_0005_attestation).
  • GitHub lists no releases.

See also

Sources

Page status: Stub. Stub · Outline · Usable · Guide · Star. Anyone can improve this page and change its status.
Retrieved from "https://alienware-1.tailb5c716.ts.net/index.php?title=Private_Token_Balance_Attestation&oldid=822"