Private Token Balance Attestation

From Local Area Network
Revision as of 19:05, 4 November 2026 by Eleutherious (talk | contribs) (New tool page, source-checked against the project README)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 token account holds at least a set number of tokens, and it runs on the Logos Execution Zone (LEZ) 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, exact balance or identity.
  • It verifies the proof either on chain, through a LEZ verifier program, or off chain, via Logos Messaging.
  • It uses a Risc0 guest circuit 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, so a proof cannot be replayed across gates.
  • 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 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 status section says "Deployed live on the public Logos Execution Zone testnet." 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

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

Releases

  • Latest tag: v0.1.0-alpha, 22 May 2026.
  • 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=768"