Versi dokumen orisinal: UPLC 2025: building the future of Cardano’s programming languages
Dipublikasikan pada tanggal 16 Desember 2025
Ditulis oleh Ziyang Liu
UPLC 2025: membangun masa depan bahasa pemrograman Cardano
Selama tiga hari di akhir Oktober, Universitas Edinburgh menjadi pusat aktivitas pengembangan Cardano pada konferensi bahasa pemrograman UPLC pertama (UPLC 2025). Para perancang bahasa, peneliti, dan insinyur smart contract berkumpul untuk berkolaborasi secara langsung, mendiskusikan berbagai tantangan saat ini demi merancang tooling yang tangguh untuk masa depan.
Ringkasan:
- Konferensi Bahasa Pemrograman UPLC pertama (UPLC 2025) diselenggarakan di Universitas Edinburgh pada akhir Oktober
- Acara ini mempertemukan para perancang bahasa, peneliti, dan developer untuk berkolaborasi membahas masa depan bahasa pemrograman Cardano
- Sesi keynote membahas sejarah riset Plutus, optimasi smart contract, dan tool verifikasi formal yang baru
- Sesi lainnya mengeksplorasi tool baru seperti compiler Jai-to-UPLC, benchmarking framework UPLC-CAPE, dan integrasi zk-SNARK
- Tim Plutus saat ini sedang memfinalisasi hard fork intra-era yang akan menambahkan 14 primitive baru dan dua tipe bawaan (built-in) baru
- Masukan dari acara ini akan secara langsung membentuk roadmap untuk Plutus V4 dan era Dijkstra yang akan datang.
Pengembangan sering kali merupakan aktivitas yang sunyi dan individual, tetapi inovasi sejati membutuhkan “tubrukan” gagasan. UPLC Programming Language Conference (UPLC 2025) yang perdana menghadirkan momen langka terjadinya konvergensi bagi ekosistem Plutus Core. Konferensi ini berfokus pada “hallway track” – diskusi mendalam dan perdebatan spontan yang muncul ketika komunitas yang beragam berkumpul dalam satu ruangan.
Pertemuan ini datang pada waktu yang tepat. Ekosistem Plutus telah berkembang pesat, berevolusi dari masa-masa awal Plinth menjadi lanskap dinamis yang dipenuhi compiler baru, tool developer, dan benchmark seperti UPLC-CAPE. Dengan metode formal yang kini memverifikasi bukan hanya bahasa intinya, tetapi juga smart contract itu sendiri, fondasinya menjadi lebih kuat dari sebelumnya. UPLC 2025 menjadi momen untuk memeriksa fondasi tersebut dan memutuskan bagaimana membangun “lantai berikutnya.”
Menghubungkan sejarah dengan kinerja tinggi
Sesi-sesi keynote menempatkan acara ini dalam sebuah narasi yang membentang dari akar akademis ilmu komputer hingga ke garis terdepan efisiensi blockchain.
Philip Wadler membuka dengan menelusuri garis keturunan Plutus Core (UPLC) hingga ke fondasi lambda calculus. Pesannya mengingatkan bahwa arsitektur Cardano bukan sesuatu yang acak; ia berakar pada puluhan tahun riset yang ketat. Dia mengutip sebuah pesan kuat untuk para builder: “Jika Anda menginginkan sebuah bahasa yang masih layak digunakan 50 tahun dari sekarang, pilihlah bahasa yang sudah berusia 50 tahun.” Konteks historis ini menjadi pembeda bagi Cardano – kita merekayasa untuk daya tahan jangka panjang.
Beralih dari teori ke praktik, Philip DiSarro memberikan “masterclass” tentang efisiensi. Dia membuka selubung berbagai strategi optimasi yang jarang dibahas, memberikan cheatsheet praktis yang dibutuhkan developer untuk menulis smart contract yang lebih ramping dan cepat.
Melengkapi trifecta sejarah, praktik, dan jaminan keamanan, Romain Soulat menampilkan masa depan keamanan. Dia mendemonstrasikan blaster, sebuah tool yang mengubah verifikasi formal dari pekerjaan manual yang melelahkan menjadi aset otomatis. Dengan secara otomatis mengoptimalkan dan membuktikan teorema, tool ini menjanjikan pengembangan high-assurance yang lebih mudah diakses oleh lebih banyak builder.
Pameran inovasi komunitas
Di luar sesi keynote, jadwal konferensi didominasi oleh inovasi yang datang langsung dari komunitas. Sesi-sesi ini membuktikan bahwa ekosistem telah berkembang jauh melampaui protokol dasar.
- Bahasa dan tool baru: para developer mengeksplorasi compiler Jai-to-UPLC dan debugger Gastronomy, tool yang dirancang untuk membuat pengalaman pengembangan menjadi lebih mulus dan intuitif.
- Benchmarking dan kecepatan: kemajuan dibagikan terkait kompilasi UPLC ke RISC-V (untuk eksekusi di BitVMX) dan evaluator berbasis JVM yang baru, menandai dorongan menuju kompatibilitas yang lebih luas dan performa mentah yang lebih tinggi.
- Menjembatani kesenjangan: tim Mesh membahas tantangan integrasi off-chain yang sering diabaikan. Sesi mereka berfokus pada penghalusan titik-titik friksi di mana logika on-chain bertemu dengan aplikasi off-chain – sebuah langkah krusial menuju adopsi massal.
Jalan ke depan: peningkatan langsung dan visi jangka panjang
Energi dari UPLC 2025 sudah mulai terwujud dalam bentuk kode. Tim Plutus saat ini sedang memfinalisasi sebuah intra-era hard fork. Anggap saja ini bukan sekadar renovasi, melainkan peningkatan tool yang signifikan untuk workshop para developer.
Pembaruan ini memperkenalkan:
- 14 primitive baru untuk memperluas apa yang dapat dibangun developer
- Dua tipe built-in baru untuk penanganan data yang lebih baik
- Primitive yang disatukan di seluruh Plutus V1, V2, dan V3 untuk merapikan technical debt
Perubahan ini secara langsung mencerminkan tema-tema yang mengemuka di Edinburgh: ergonomi yang lebih baik, daya ekspresif yang lebih tinggi, dan optimasi tanpa henti.
Melihat lebih jauh ke depan, percakapan dari UPLC 2025 sedang membentuk roadmap untuk Plutus V4 dan era Dijkstra. Baik itu dukungan untuk transaksi lintas chain maupun penyatuan encoding tipe data, feedback loop antara tim rekayasa inti dan komunitas yang lebih luas kini menjadi lebih erat dari sebelumnya.
UPLC 2025 menunjukkan bahwa kode ditulis oleh manusia, dan kode terbaik lahir ketika para penulisnya berkomunikasi secara mendalam. Kami menantikan kesempatan berikutnya untuk membangun bersama.
Jelajahi lebih dalam
Ingin melihat berbagai diskusi yang membentuk masa depan? Tonton seluruh playlist presentasi UPLC 2025 di sini.