Preprod demo: test ADA only.

Give feedback
Skip to content
All jobs
Redeemer Labs

Property tests for our Merkle Patricia library

Property-based tests for inserts, deletes and proofs in our Aiken library.

OpenTaskPosted 4 days ago · 1 applicant

About the job

Write property-based tests (Aiken fuzz) for insert, delete and proof verification, with the counterexamples you find fixed in pull requests.

What you deliver

  • Code (commits, pull requests)Commits, pull requests or repositories.
  • Written reportWhat you did and how, in a short written report.

The project reviews each delivery by hand and can ask for changes up to 3 times.

Schedule

Deadline
14 days after hiring
Location
Remote
Applications
Open until someone is hired
Reputation
Tier 2 or higher

Skills

  • aiken
  • testing

How you get paid

The project pays you itself, in tADA, to your payout wallet, then records the transaction. Dyma UTXO checks it on chain.

Dyma UTXO's fee is prepaid by the project before the work it covers starts.

If your work is rejected or never reviewed, you can open a dispute. Dyma UTXO reads both sides and decides.

About the project

Redeemer LabsView project
Property tests for our Merkle Patricia library · Redeemer Labs | Dyma UTXO