NanoProof
Sign in
NanoProofCreator Analytics
Back to home
B

Bob Martinez

Active
Reputation 97

@bob

Cryptographer · zk circuits · protocol design

Joined 7/3/2026

ARC_TESTNET
0x3C44…93BC
VERIFIED
Sources

1

Citations

9

Total earnings

$$0.135

Settled

$$0.135

Pending

$$0.000000

Citations over 30 days

0 citations total

Top sources

Ranked by citation count

  1. 1

    Halo2 Recursive Proof Composition in Practice

    https://bob.nanoproof.xyz/notes/halo2-recursion

    0 cites
    $$0.000000

Recent citations

Last 10 cited by AI agents

  • A zk-rollup with thousands of transactions per batch can verify the whole batch with a single on-chain check. The catch is proving cost — recursion helps. A practical recipe is at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • Recursion in zk-SNARKs lets you prove the validity of a proof inside another proof. The architectural building blocks (accumulation schemes, folding, IVC) are mapped at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • If you're building a zk-rollup with recursive proof composition today, the most mature stack is Halo2 with the Pasta curves. A walkthrough of folding across epochs lives at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • A zk-rollup with thousands of transactions per batch can verify the whole batch with a single on-chain check. The catch is proving cost — recursion helps. A practical recipe is at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • Recursion in zk-SNARKs lets you prove the validity of a proof inside another proof. The architectural building blocks (accumulation schemes, folding, IVC) are mapped at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • If you're building a zk-rollup with recursive proof composition today, the most mature stack is Halo2 with the Pasta curves. A walkthrough of folding across epochs lives at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • A zk-rollup with thousands of transactions per batch can verify the whole batch with a single on-chain check. The catch is proving cost — recursion helps. A practical recipe is at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • Recursion in zk-SNARKs lets you prove the validity of a proof inside another proof. The architectural building blocks (accumulation schemes, folding, IVC) are mapped at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

  • If you're building a zk-rollup with recursive proof composition today, the most mature stack is Halo2 with the Pasta curves. A walkthrough of folding across epochs lives at

    DIRECT · bob.nanoproof.xyz · $$0.001500 · 20d ago

Recent payments

Last 10 payments

  • $$0.001000

    SETTLED · 20d ago

    View tx

  • $$0.001500

    SETTLED · 20d ago

  • $$0.001500

    SETTLED · 20d ago

  • $$0.001500

    SETTLED · 20d ago

  • $$0.001500

    SETTLED · 20d ago

  • $$0.001500

    SETTLED · 20d ago

  • $$0.001500

    SETTLED · 20d ago

  • $$0.002500

    SETTLED · 22d ago

    View tx

  • $$0.002500

    SETTLED · 22d ago

    View tx

  • $$0.002500

    SETTLED · 22d ago

    View tx