[hsy822]

Adds a blog post demonstrating private balance proofs using GIWA Dojang’s balance format, EAS, Noir, and Mopro, with Solidity verification. Includes implementation details, host benchmarks, limitations, and reproduction steps.

Summary by CodeRabbit

• Documentation
  • Added a blog post detailing a private balance-proof example, including how private and public proof inputs, wallet authorization, request binding, and policy checks work together. It also covers compatibility and failure-case testing, native proving and verifier deployment, benchmark results, reproduction steps, and limitations related to mobile execution and real issuer data.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

• Configuration used: defaults
• Review profile: CHILL
• Plan: Advanced
• Run ID: 0cbcfd8a-3b34-45fc-b6ea-b5e5e4df3b41

📥 Commits

Reviewing files that changed from the base of the PR and between c2a6c16 and b107a0d.

📒 Files selected for processing: 1

• docs/blog/2026-10-16-private-balance-proofs-eas-noir-mopro.md

🚧 Files skipped from review as they are similar to previous changes: 1

• docs/blog/2026-10-16-private-balance-proofs-eas-noir-mopro.md

Included review availability: This review used your included allowance. Your plan provides up to 2 included reviews per hour; 1 remain after this review.

📝 Walkthrough

Adds a blog post about a private balance-proof example using GIWA Dojang, EAS, Noir, Mopro, and Solidity. It describes the proof flow, policy checks, integration, tests, performance measurements, limitations, and setup.

Changes: Private balance-proof example

Layer / File(s)	Summary
Describe the private balance-proof example docs/blog/2026-10-16-private-balance-proofs-eas-noir-mopro.md	Documents private and public proof inputs, wallet authorization, EAS policy checks, proof verification, tests, performance measurements, limitations, and reproduction steps.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~4 minutes

Change: Other

Suggested reviewers: vivianjeng

Merge Risk: ⚪ Minimal · up to b107a

No issue identified that needs to be resolved before merging.

Pre-merge checks: 5

Check name	Status	Explanation
Description Check		Check skipped - CodeRabbit’s high-level summary is enabled.
Title check		The title clearly and concisely describes the added documentation about private balance proofs using EAS, Noir, and Mopro.
Docstring Coverage		No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check		Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check		Check skipped because no linked issues were found for this pull request.

Full details: Docstring Coverage

Explanation

No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0 files. (1 skipped: 1 unsupported.)

✨ Finishing Touches: 💡 1

🧪 Generate unit tests (beta)

• Create a new PR

🛠️ Fix failing CI checks: 💡

• Commit to this branch
• Create a new PR

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[vivianjeng]

thank you for reporting this!
We will check them
cc @moven0831

[vivianjeng]

You can also note that how big is the circuit (e.g. how many constraints)

[hsy822]

Thanks! Added the pre-padding Barretenberg circuit sizes to the table and noted that all three circuits have a padded size of 524,288 (2¹⁹).