# Kachina - Smart Contract Privasi

**URL:** <https://forum.cardano.org/t/kachina-smart-contract-privasi/105872>\
**Category:** Edukasi\
**Tags:** indonesia\
**Created:** [11 August 2022 16:18 UTC](https://forum.cardano.org/t/kachina-smart-contract-privasi/105872 "2022-08-11T16:18:12Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![prosperaan](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/prosperaan/32/50117_2.png) [@prosperaan](https://forum.cardano.org/u/prosperaan)\
**Post date:** [11 August 2022 16:18 UTC](https://forum.cardano.org/t/kachina-smart-contract-privasi/105872/1 "2022-08-11T16:18:12Z")

</div>

Dipublikasikan pada tanggal 11 Aug 2022  
Ditranslasi & disadur oleh andre cahyadi (@prosperaan)  
Untuk komunitas Cardano Indonesia  
Referensi: [https://iohk.io/en/blog/posts/2022/08/05/kachina-privacy-preserving-smart-contracts/](https://iohk.io/en/blog/posts/2022/08/05/kachina-privacy-preserving-smart-contracts/)

> **Kachina**  
> Memanfaatkan ZK Snarks untuk fungsi _smart contract_ yang dapat menjaga privasi tanpa mengorbankan karakteristik desentralisasi

**Sekilas tentang _smart contract_**

_Smart contract_ atau kontrak pintar adalah sebuah metode untuk menjabarkan transaksi pertukaran data atau mata uang yang kompleks antara dua pihak atau lebih yang dilakukan secara otomatis dan terdesentralisasi. _Smart contract_ sendiri pada dasarnya adalah kode tertulis di blockchain yang dapat mencari, memverifikasi, serta mengeksekusi sebuah transaksi yang mengikat / kontrak ketika kondisi - kondisi yang ditentukan telah terpenuhi. Kode _smart contract_ ini terdistribusi ke seluruh jaringan blockchain, transparan, dan dapat dikonfigurasi agar tidak dapat diubah sama sekali (_immutable_).

**Menjaga privasi dalam _smart contract_**

_Smart contract_ pada umumnya bersifat publik dan terbuka dimana kondisi - kondisi kontrak yang harus terpenuhi dapat dilihat oleh semua orang. Walaupun transparansi menjadi salah satu keunggulan teknologi blockchain, namun privasi tetap menjadi elemen penting untuk aplikasi yang memproses data - data sensitif.

Beberapa teknik kriptografi yang digunakan oleh para developer untuk menambahkan atau meningkatkan level privasi di _smart contract_ antara lain _zero-knowledge proofs_ (ZKP) dan _secure computation_. Namun, teknik - teknik ini tidak sejalan dengan konsep desentralisasi di blockchain karena masih mengandalkan asas kepercayaan.

**Apa itu Kachina**

Kachina adalah solusi _smart contract_ yang dikembangkan oleh Input Output Global (IOG) bersama dengan University of Edinburgh, yang memungkinkan pengguna untuk menggunakan _smart contract_ dengan tetap menjaga privasi dan tidak mengorbankan desentralisasi.

**Cara Kerja Kachina**

- Sekelompok besar proses penghitungan yang terdistribusi dibuat dalam bentuk _smart contract_ sehingga memiliki atribut privasi. Developer dApp tidak perlu lagi menambahkan referensi lain sebagai asas kepercayaan.

- Protokol _smart contract_ ini bergantung pada argumen yang bersifat non-interaktif (disebut juga _zero knowledge ~ZK Snarks_) yang membuatnya memiliki sifat privasi. Jaminan privasi ini juga dibuktikan dengan framework keamanan _Universal Composability (UC)_ melalui model dan bukti matematis.

- Protokol juga didesain memiliki basis penggunaan secara _low level code_ dimana sistem tidak perlu di-update ketika ada perubahan atau ekstensi baru, namun privasi dapat tetap terjaga.

- Kachina juga memampukan pembuat _smart contract_ menutup gap antara blockchain dengan mesin lokal pengguna, yang diatasi dengan penggunaan _public_ dan _private state_. Sebuah kontrak dapat meng-update _public state (on-chain and shared)_ dan _private state (off-chain)_ secara bersamaan.

- Para pihak yang bertransaksi dapat melakukan pembuktian secara non-interaktif (_zero knowledge_) bahwa mereka telah diizinkan meng-update _public state_ dengan bukti detail dari input transaksi dan keberadaan _private state_.

**Penelitian tentang Kachina**

Di dalam makalah penelitan, IOG mendemonstrasikan _versatility_ dari protokol Kachina dalam studi kasus _private payment_. Tim riset menunjukkan sebuah kontrak _private token_ yang dapat mendukung _private fund transfer_, pengecekan saldo, serta _asset creation_.

Walaupun desain yang diusulkan ini masih bersifat teoritis, namun Kachina membuktikan kemungkinan membuat _smart contract_ yang dapat menjaga privasi walau dengan keterbatasan di dunia nyata:

- Penggunaan state oracle memungkinkan proses komputasi yang sulit atau memakan sumber daya besar di luar proses _zero knowledge proof_, sehingga dapat mengurangi biaya.

- Walaupun _zero knowledge proof_ harus bersifat universal, namun rancangannya sudah ada dan praktis untuk digunakan dalam proposal yang diusulkan.

**Untuk detail lebih lanjut tentang makalah penelitian Kachina, dapat dilihat di link berikut ini, [Kachina - Foundations of Private Smart Contracts - IOHK Research](https://iohk.io/en/research/library/papers/kachina-foundations-of-private-smart-contracts/)**