Grant application

Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Evaluation snapshot

Request at a glance

Applicant: Nirapod
Requested: $7,000
Status: Under Review
Review context: Forum discussion linked0 committee records linked

FPF source evidence

Milestone and disbursement ledger

Read-only milestone and disbursement fields normalized from the FPF grants ledger.

These ledger rows are FPF source evidence. They do not by themselves prove that a progress update was accepted, a payment request was approved, or an on-chain settlement was completed. Named rows can also describe reimbursements, returned funds, or other ledger adjustments.

No normalized FPF milestone or disbursement rows are linked to this application yet. The application and its other source evidence remain available below.

AI-grounded decision supportCommittee briefingReview an evidence-grounded briefing or ask a custom question about this application. AI output supports committee review; it does not recommend or make a funding decision.Not generated

No committee briefing yet

Generate a standard briefing from this application, linked evidence, team history, relationships, and comparable grants. The completed shared report will be available to other authorized users.

Your account can read shared briefings but cannot generate them.

Application-scoped research

Ask about this application

Ask a focused question. Answers use the grant knowledge index and retain numbered links to the evidence supplied to the model.

Your account can read shared analyses but cannot generate a custom answer.

Workflow signals

📋 Grant Application👀 Ready For ZCG Review

Latest committee record

No linked committee decision record yet.

Data quality and provenanceSource matching, linked-record coverage, and reconciliation diagnostics

Source coverage

Operational context for tracing how this canonical record was assembled.

Source stateGitHub + Sheet

GitHub-Sheet match100%

Primary forum1

Supporting forum0

GitHub labels2

Decision notes0

GitHub workflow labels

2 labels captured as structured grant attributes

📋 Grant Application

Category: Intake
Status: Grant Application
Milestone: -
Observed: 10/21/2026

Open GitHub issue

👀 Ready For ZCG Review

Category: Review
Status: Ready For Zcg Review
Milestone: -
Observed: 10/21/2026

Open GitHub issue

Decision history

0 meeting notes linked

No ZCG meeting-minute decision notes are linked to this application yet.

Forum links

1 primary, 0 supporting

Primary forum thread

Grant Application - Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Hi all, I’m Athex. Rifat Ahmed and I work at Nirapod , and I’ve contributed to the Jasmin compiler , mostly its ARMv8-A back end. We’ve finished a machine-checked Lean proof of part 3 of pasta_curves#174 , the wNAF recoding and the Straus ladder in src/glv.rs . Orchard has used this code for ba...

Confidence: 100%
Forum URL: https://forum.zcashcommunity.com/t/grant-application-lean-proof-of-the-glv-recoding-and-ladder-in-pasta-curves-part-3-of-pasta-curves-174/58412

Open forum thread

source: forum_mirror | topicId: 58412 | fetchedAt: 2026-10-21T13:26:41.965Z | categoryId: 36 | mirrorKind: forum_topic | coverageCapped: false | discoveredFrom: ["github_issue_comment:ZcashCommunityGrants/zcashcommunitygrants#507:comment:6316895326","google_sheet_row:1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:grant-platform:f0fd2d88cb76969693c1d5c250ddbfb56a7bbd86287144a9c895f9a75590cc36"] | postStreamCount: 1

Application source evidence

Primary GitHub, Sheet, and other non-forum source records.

Github Issue

Grant Application - Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

### Terms and Conditions - [x] I agree to the [Grant Agreement](https://9ba4718c-5c73-47c3-a024-4fc4e5278803.usrfiles.com/ugd/9ba471_f81ef4e4b5f040038350270590eb2e42.pdf) terms if funded - [x] I agree to [Provide KYC information](https:/...

Confidence: 100%
Source ID: ZcashCommunityGrants/zcashcommunitygrants#507

Open source record

Github Issue Comment

Comment on #507: Grant Application - Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Thank you for submitting a grant application to Zcash Community Grants (ZCG). Please confirm the following before review begins — addressing these upfront will help avoid delays: 1. Confirm your total grant amount equals startup funding ...

Confidence: 100%
Source ID: ZcashCommunityGrants/zcashcommunitygrants#507:comment:6310029272

Open source record

Github Issue Comment

Comment on #507: Grant Application - Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Hi, my forum account (athexweb3) can’t create topics yet, so I can’t post the thread for this application. Could you enable it? I’ll post the thread and link it here as soon as it’s possible.

Confidence: 100%
Source ID: ZcashCommunityGrants/zcashcommunitygrants#507:comment:6310143285

Open source record

Github Issue Comment

Comment on #507: Grant Application - Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Your trust level on the Forum has been increased, you should be good to post now.

Confidence: 100%
Source ID: ZcashCommunityGrants/zcashcommunitygrants#507:comment:6316784749

Open source record

Github Issue Comment

Comment on #507: Grant Application - Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Thanks @alexgbo, that worked. 1. Confirmed: the total, $7,000, equals startup funding ($0) plus milestone 1 ($5,500) and milestone 2 ($1,500), and the numbers agree throughout the application. 2. Confirmed: each milestone lists its deliv...

Confidence: 100%
Source ID: ZcashCommunityGrants/zcashcommunitygrants#507:comment:6316895326

Open source record

Google Sheet Row

Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174)

Date Submitted: 10/21/2026 | Proposal Title: Lean proof of the GLV recoding and ladder in pasta_curves (part 3 of pasta_curves#174) | Applicant(s): Nirapod | Grant Platform Link: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/507 | Forum Link: https://forum.zcashcommunity.com/t/

Confidence: 100%
Source ID: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:grant-platform:f0fd2d88cb76969693c1d5c250ddbfb56a7bbd86287144a9c895f9a75590cc36

Open source record

gid: 1164534734 | sheetId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg | tabName: all_grants_tracking | rowNumber: 749 | identityStrategy: grant_platform_link | businessIdentifier: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/507 | rowLocationSourceId: 1FQ28rDCyRW0TiNxrm3rgD8ai2KGUsXAjPieQmI1kKKg:1164534734:row:749 | businessIdentifierRaw: https://github.com/ZcashCommunityGrants/zcashcommunitygrants/issues/507