JBP-253 - 0xBA5ED Payout Renewal

Author: 0xBA5ED
Date: 2022-08-26

Thesis

Renew the recurring payout for 0xBA5ED for 6 funding cycles.

Abstract

I have been working full-time writing, modifying, checking and testing smart-contracts for Juicebox V2 and V2 extensions. My initial recurring payment has come to an end, this proposal will allow me to keep working full-time on Juicebox.

Motivation

I have worked on a large variety of things since my last proposal, here is a small list of the most important things:

• Work on NFT-Rewards (commits)

• Work on VeBanny (commits)

• Work on AppleJuice (commits)

• Work on on-chain governance (repo)

• Started writing formal verification for V2 (commit)

During EthCC I took a course by Certora on how to do formal verification. The normal cost for having contracts formally verified is $70,000 per week (source). However I am now able to work on this for Juicebox, potentially saving a large amount of money.

In the future FC's I would like to work on:

• Finishing the WIP extensions

• Standardising extensions

• More extensions (gasless payments, llamapay integration)

• L2/Side-chain versions(/extensions) of Juicebox

• Formal verification of more Juicebox contracts

Specification

For the next 6 funding cycles continue to pay (0xBA5ED) 0xb045708e396E20071324C1aed2E4CFB90A0764FE $8000 per funding cycle and keep him on the list of beneficiaries of reserved JBX.

Rationale

Smart-contract developers are hard to hire because its new, niche and there is a high demand. 0xBA5ED is an experienced smart-contract developer and is comfortable with and has a good understanding of the Juicebox V2 codebase.

Risks

• Reduced quality or less code shipped than before

• 0xBA5ED could stop contributing

Timeline

Renew recurring payouts starting at funding cycle 30 for 6 funding cycles.

---

Discussion Thread | IPFS