over budget
Aiken: Smart Contract Toolchain
Current Project Status
Unfunded
Amount
Received
$0
Amount
Requested
$111,480
Percentage
Received
0.00%
Solution
  • Port UPLC to Rust (mostly done)
  • Implement the interpreter (own the full toolchain!)
  • Create a high level C-family language with functional semantics
  • UPLC static analysis tools
  • Robust testing tools
Problem

For most developers the Haskell syntax of Plutus is unpalatable or too unfamiliar to hit the ground running. Although Plutus is a great language, this causes enough friction to slow down developers.

Impact / Alignment
Feasibility
Auditability

txpipe

3 members

close

Playlist

  • EP2: epoch_length

    Authored by: Darlington Kofa

    3m 24s
    Darlington Kofa
  • EP1: 'd' parameter

    Authored by: Darlington Kofa

    4m 3s
    Darlington Kofa
  • EP3: key_deposit

    Authored by: Darlington Kofa

    3m 48s
    Darlington Kofa
  • EP4: epoch_no

    Authored by: Darlington Kofa

    2m 16s
    Darlington Kofa
  • EP5: max_block_size

    Authored by: Darlington Kofa

    3m 14s
    Darlington Kofa
  • EP6: pool_deposit

    Authored by: Darlington Kofa

    3m 19s
    Darlington Kofa
  • EP7: max_tx_size

    Authored by: Darlington Kofa

    4m 59s
    Darlington Kofa
0:00
/
~0:00