-->

Apa itu RChain, REV coin adalah

Apa itu RChain, REV coin ?

RChain (REV) adalah mata uang kripto. RChain bukan hanya jaringan komputer dan perangkat lunak inovatif. RChain adalah jaringan orang-orang, orang-orang yang memahami situasi dan bukannya menyerah pada keputusasaan, bersedia bekerja sama untuk menemukan solusi. Silakan bergabung dengan kami, bukan karena itu masuk akal, tetapi karena Anda juga merasakan Harapan yang tidak masuk akal dan tak tertahankan serta kehangatan Cinta di luarnya.

RChain, REV coin
RChain, REV coin

Perkenalan dan Motivasi

Seberapa sulitkah masa-masa ini? Dengan banyak perkiraan, kami telah kehilangan lebih dari 70% serangga (berdasarkan biomassa) secara global. Berhenti dan biarkan itu meresap. Berapa banyak ekosistem berbeda yang bergantung pada serangga? Kami tidak hanya berbicara tentang penyerbuk seperti lebah, yang akan cukup menghancurkan; kita berbicara tentang berbagai macam serangga. Tanggapan yang benar untuk ini adalah mulut Anda menjadi kering dan perasaan yang sangat sakit muncul di usus Anda. Ini adalah pertanda kepunahan massal ke-6 di planet Bumi.

Bahkan Goldman Sachs mengakui skala global dari perubahan iklim. Gagasan ceria mereka tentang bagaimana mendapat untung darinya mungkin menggemaskan jika tidak salah arah. Neil deGrasse Tyson tidak salah ketika menyebutkan di CNN bahwa kami tidak memiliki teknologi untuk memindahkan kota-kota pesisir kami ke daratan sejauh 20 mil dalam 20 tahun ke depan, tetapi jangan biarkan pandangan ini membuai Anda untuk berpikir bahwa perubahan iklim adalah tentang laut -tingkat kenaikan. Tidak terlihat lagi dari kebakaran LA (seperti yang sekarang di lot Warner Bros). Kebakaran akan datang bersama banjir.

Air minum kami juga dalam bahaya. Akuifer utama di bawah India turun menjadi seperempat dari sebelumnya. Karena pencairan gletser, itu tidak akan disegarkan. Pikirkan tentang apa artinya ini bagi lahan pertanian di wilayah tersebut, lalu ekstrapolasi. Tanah garapan besok akan sangat berbeda dengan sekarang. Ini akan memiliki dampak besar pada manajemen rantai pasokan.

Agar Anda tidak salah paham, dokumen ini tidak semuanya malapetaka dan kesuraman. Dokumen ini tentang harapan jenis harapan yang melampaui nalar dan membuka jalan bagi kekuatan cinta yang transformatif. Namun, semua yang disajikan di sini akan didasarkan pada alasan dengan dasar matematika yang kuat. Faktanya, kita akan membutuhkan akal dan cinta, kepala dan hati, dan bahkan mungkin kekuatan ketiga, bekerja bersama untuk menemukan jalan keluar dari kekacauan yang telah kita buat untuk diri kita sendiri.

Teknologi Koordinasi

Jika kita akan melewati dekade mendatang dan membangun dunia yang tidak didasarkan pada budaya yang berkelanjutan, tetapi budaya regeneratif, kita harus berkoordinasi dengan cara yang belum pernah kita koordinasikan sebelumnya dalam sejarah umat manusia. Untungnya, koordinasi adalah kekuatan super Homo sapiens. Seekor binatang berkaki dua yang tidak berbulu tidak tahan menghadapi mamut berbulu. Dengan bekerja sama dalam kelompok pemburu awal membawa mereka ke kepunahan.

Di era modern, kita telah memperkuat negara adidaya kita dengan tiga alat utama: modal, pemerintahan, dan telekomunikasi sosial. Sayangnya, ketiganya sangat membutuhkan reboot. Modal, yang tujuan awalnya adalah untuk membantu kita menjaga satu sama lain dan planet ini, kini berada di tangan segelintir orang. Terlepas dari politik Anda, Anda harus mengakui bahwa ini secara dramatis mengurangi jumlah model koordinasi yang dapat kita jelajahi dengan menggunakan modal pada saat kita membutuhkan perluasan mode koordinasi kita.

Pemerintahan sudah berada di bawah tekanan transformatif karena teknologi Internet. Teknologi ini, yang dapat membawa pengecekan fakta dan rekaman video perilaku politik ke ujung jari hampir setiap warga negara, membuat transparansi dan akuntabilitas begitu dekat sehingga perlawanan terhadap mereka harus menyerang kebenaran itu sendiri. Epidemi berita palsu adalah gejala dari kematian impuls diktator. Pemerintah dunia bergerak terlalu lambat untuk mengatasi masalah ini, dan banyak, seperti AS, sebenarnya menyangkal krisis eksistensial yang kita hadapi meskipun ada konsensus ilmiah yang luar biasa, menutup mata terhadap banjir, kebakaran, dan kelaparan yang sudah terjadi di dunia. kemajuan. Ketidakmampuan untuk bertindak tepat waktu atas nama warganya adalah karena sebagian besar dari mereka dikorupsi sampai ke akar-akarnya.

Demikian pula, media sosial yang terpusat telah mencapai titik di mana, seperti Facebook, mereka dapat dipersenjatai oleh kekuatan asing untuk mempengaruhi hasil pemilu di negara-negara demokrasi besar. Selanjutnya, tanggapan kejam terhadap pelanggaran ini (seperti godaan Facebook yang sering dengan sensor) sama mengkhawatirkannya. Demokrasi sangat bergantung pada akses tak terbatas ke informasi publik.

Identitas berdaulat sendiri, privasi data, dan desentralisasi

Poin terakhir ini telah menjadi perhatian pasar dan sektor publik. Pasar telah menanggapi dominasi oleh beberapa perusahaan terpusat dari kemampuan platform manajemen aset digital dengan mengejar alternatif utama: identitas berdaulat sendiri, privasi data, dan desentralisasi. Pengejaran ini semuanya telah menyatu pada teknologi yang dikenal sebagai blockchain.

Identitas berdaulat sendiri

Pasar telah mengalami peningkatan kekhawatiran atas dominasi identitas online Facebook dan Google. Hampir setiap layanan online menawarkan (pada kenyataannya, lebih suka) pendaftaran dan login melalui Facebook atau Google. Ini berarti hanya dua perusahaan yang mengontrol identitas online ratusan juta orang di Internet. Tanggapan terhadap ancaman serius terhadap independensi online dan privasi pribadi ini adalah pengembangan identitas kedaulatan diri istilah yang mengacu pada gagasan bahwa orang harus mengidentifikasi diri mereka sendiri dan mengungkapkan apa yang ingin mereka ungkapkan dalam konteks komunikasi tertentu. Data yang mereka ungkapkan harus diverifikasi melalui kombinasi layanan kriptografi dan web pihak tepercaya daripada penyedia tunggal mana pun.

Privasi data

Seperti halnya identitas kedaulatan diri, pasar semakin cemas atas penimbunan informasi pribadi oleh perusahaan online besar, terutama setelah banyaknya pelanggaran keamanan yang dialami perusahaan-perusahaan ini dalam beberapa tahun terakhir. Banyak istilah telah memasuki bahasa umum yang menggambarkan kecemasan publik yang berkembang. Salah satu contoh, kapitalisme pengawasan, menggambarkan fakta bahwa konsumen (dan data pribadi mereka) telah menjadi produk yang dijual oleh penyedia online utama ini kepada pengiklan, serta agensi yang lebih jahat, seperti Cambridge Analytica, perusahaan yang sebagian besar diakui sebagai arsitek pemungutan suara Brexit Inggris dan terlibat dalam pemilihan Donald Trump.

Solusi untuk brankas data pribadi datang dari banyak sektor, termasuk penemu World Wide Web, Sir Tim Berners-Lee. Secara bersamaan, sektor publik merespons dengan regulasi yang cukup kuat, seperti GDPR Uni Eropa.

Desentralisasi dan blockchain

Secara lebih umum, pasar telah mengeksplorasi alternatif terdesentralisasi untuk membangun jenis layanan online yang bermunculan dan menyindir diri mereka sendiri ke dalam kehidupan modern selama beberapa dekade terakhir. Tidak ada yang lebih menonjol dari blockchain.

Inti dari setiap blockchain (setidaknya yang pantas mendapatkan namanya) adalah algoritma konsensus tanpa pemimpin yang aman secara ekonomi. Pada dasarnya, algoritme jenis ini—baik itu proof of work, proof of stake, atau jenis lainnya—memungkinkan program komputer yang tidak saling percaya untuk mencapai kesepakatan mengenai suatu nilai. Karena mereka menyetujui nilainya, mereka dapat menyimpan salinan lokal untuk akses mudah dan hanya menjalankan algoritme jika ada perubahan pada nilai itu. Kapasitas seperti itu, jika cukup terukur, memungkinkan untuk menyebarkan jaringan data terdesentralisasi global.

Pentingnya terobosan semacam itu perlu disebut. 15 tahun terakhir pengembangan layanan online semuanya tentang platform manajemen aset digital, seperti GitHub, Spotify, Facebook, Instagram, Twitter, Dropbox, GMail, Google Maps, dll. Mereka membantu miliaran orang mengunggah, menyebarkan, dan mengelola zettabyte data. Bahkan layanan Internet gelombang kedua, termasuk PayPal, AirBnB, dan Uber (kadang disebut ekonomi berbagi) juga diisi dengan platform manajemen aset digital yang kebetulan terhubung ke aset fisik dan aset lainnya.

Fakta bahwa ini semua tentang data memiliki konsekuensi bagi kebutuhan kita untuk berkoordinasi dalam menghadapi perubahan iklim. Sama seperti konsentrasi modal di tangan segelintir orang membatasi jumlah model koordinasi yang tersedia untuk kita implementasikan melalui modal, konsentrasi data di tangan segelintir orang berpotensi membatasi model koordinasi yang tersedia bagi kita. untuk diimplementasikan melalui data dan telekomunikasi sosial. Sementara banyak platform manajemen aset digital online dimulai dengan model yang lebih terbuka, mereka menjadi kurang terbuka setiap hari. Google tidak lagi memiliki moto “Jangan jahat.” Facebook telah melalui beberapa gelombang sensor. Ketika Microsoft mengakuisisi GitHub, pengembang dari beberapa wilayah geopolitik kehilangan haknya dari kode mereka.

Munculnya jaringan data global terdesentralisasi merupakan perubahan besar, namun potensi blockchain untuk sepenuhnya menjungkirbalikkan pasar tidak berhenti di situ. Setelah mengembangkan algoritma konsensus yang dikenal sebagai proof-of-work, jaringan Bitcoin memilih untuk menggunakannya untuk menyimpan buku besar yang mencatat saldo di alamat pemegang Bitcoin. Pilihan ini memiliki utilitas yang jelas tetapi terbatas. Pilihan yang lebih canggih untuk menyimpan apa dengan algoritme konsensus Anda adalah status mesin virtual. Pilihan ini, awalnya disusun dan dikembangkan oleh Ethereum, mengubah penyimpanan data global menjadi komputer global. Komputer ini berjalan di mana-mana dan tidak kemana-mana. Setiap kali komputer lokal mati, dua lagi dapat menggantikannya di tempat lain di Bumi.

Blockchain dan skalabilitas

Tentu saja, janji perubahan nyata menuju desentralisasi layanan ini yang dibangun di atas teknologi blockchain didasarkan pada skalabilitas. Jika kita ingin mendasarkan analisis kita atas pertanyaan ini pada blockchain proof-of-work seperti Bitcoin dan Ethereum, kita mungkin akan mencapai kesimpulan “tidak, itu tidak dapat diukur” sebagai kesimpulan kita. Bukti kerja secara inheren boros, menghabiskan banyak sekali siklus komputasi. Pada dasarnya, protokol memperdagangkan panas untuk keamanan, dan hanya keamanan yang lemah pada saat itu.

Lebih jauh, bahkan jika algoritma konsensus bukti kerja dapat diskalakan, pilihan mesin virtual Ethereum adalah mesin sekuensial, yang berarti bahwa semua transaksi harus diproses secara berurutan melalui mesin. Namun, sebagian besar transaksi terisolasi, dan diproses secara bersamaan. Seseorang yang membeli empanada di Chili menyentuh sumber keuangan yang berbeda dari orang lain yang membeli tahu bakar di jalanan Shanghai. Mereka dapat dan memang melanjutkan secara mandiri. Untuk memahami apa yang akan dilakukan oleh pengenalan mesin virtual sekuensial, pikirkan jalan bebas hambatan delapan jalur. Apa yang terjadi ketika semua jalur itu disalurkan menjadi satu? Lebih buruk lagi, karena berurutan, saat Anda menambahkan lebih banyak node server ke jaringan, itu memiliki lebih banyak pertentangan dan sebagai hasilnya, menambahkan lebih banyak sumber daya komputasi yang menyebabkan jaringan melambat.

Akhirnya, bahkan jika mungkin untuk menskalakan mesin virtual seperti itu, platform semacam ini, yang memungkinkan pengembang untuk menulis program di komputer global, menghadapkan dirinya pada risiko keamanan yang sangat besar, yaitu kontrak pintar yang ditentukan oleh pengguna. Protokol inti dapat disampaikan dari surga, sempurna dalam segala hal, namun karena pengembang manusia yang sial sedang menulis program di atas komputer global ini, mereka akan mengalami kesalahan. Bug DAO, di mana $50 juta terkuras dari kumpulan $150 juta, merupakan masalah dalam kode tingkat pengguna, bukan kode protokol inti. Fakta bahwa kesalahan yang sangat merusak ini relatif jarang hanya karena tidak ada yang membangun aplikasi serius di Ethereum karena tidak berskala. Faktanya, bug DAO itu sendiri dapat dipulihkan justru karena Ethereum tidak berskala. Bayangkan apa yang akan terjadi pada jaringan jika Ethereum berjalan dengan kecepatan Visa 40 ribu transaksi per detik, bukan 10 transaksi/detik yang tercatat pada saat itu.

Untuk rekap, blockchain datang pada saat kita benar-benar membutuhkannya, dan kita membutuhkannya bukan hanya karena ada kekhawatiran global untuk sentralisasi modal dan aset data, tetapi karena kita perlu me-reboot infrastruktur koordinasi kita untuk mengatasi konsekuensinya. perubahan iklim, yang menimbulkan ancaman eksistensial bagi umat manusia. RChain dikembangkan dalam konteks ini: untuk menjawab pertanyaan-pertanyaan ini dalam kerangka waktu yang penting.

RChain

RChain menyatukan lima komponen teknologi utama dalam menghadirkan perangkat lunak RNode-nya:

  • RSpace, jenis baru penyimpanan nilai kunci;
  • Rholang, jenis bahasa pemrograman baru;
  • Casper, algoritma konsensus jenis baru;
  • Tipe perilaku, tipe sistem tipe baru, bersama dengan
  • algoritma OSLF untuk menghasilkan sistem tipe semacam ini untuk berbagai macam bahasa pemrograman dan model komputasi;
  • dan implementasi Scala dari komunikasi Kademlia dan protokol penemuan simpul.
  • Masing-masing komponen ini dan inovasi yang mereka wujudkan dirancang untuk memenuhi kebutuhan pasar yang spesifik. Secara umum, RChain lebih suka mengikuti praktik dan rekayasa canggih di mana masuk akal untuk melakukannya, daripada menghabiskan R&D yang mahal. Pada saat yang sama, RChain menyadari bahwa jika kita akan membangun platform yang cukup kuat untuk membangun kembali data dunia dan jaringan keuangan di atasnya, itu harus memiliki kualitas yang sama sekali berbeda dari yang kita temukan di sebagian besar perangkat lunak Internet.

Mengambil pengakuan ini dengan serius, RChain menggunakan metodologi pengembangan yang sangat berbeda, kadang-kadang disebut benar-oleh-konstruksi. Metode ini mengekstrak program dari bukti kebenarannya. Tujuan dari pendekatan ini adalah bahwa pada akhirnya kode produksi yang berjalan telah diverifikasi secara formal, dan terbukti benar. Ini adalah tingkat kualitas dan keandalan perangkat lunak yang diperlukan untuk platform dengan maksud dan tujuan yang dijelaskan di atas.

Perhatikan bahwa benar-demi-konstruksi tidak kembali ke model pengembangan perangkat lunak air terjun. Artinya, tidak menunggu matematika atau perangkat lunak menjadi sempurna. Model matematika mungkin konsisten secara internal dan terbukti benar, namun tidak dapat diterapkan dalam pengaturan produksi karena ada persyaratan baru atau sedikit berbeda dalam produksi. Ahli matematika berpengalaman, serta pengembang perangkat lunak berpengalaman tahu bahwa bukti dan program hanya berfungsi sejauh mereka secara akurat memodelkan dan mengkodekan persyaratan mereka. Di pasar yang sedang berkembang, pemahaman mendalam tentang persyaratan terjadi secara berulang, sama seperti adaptasi yang layak di Alam terjadi secara berulang. Dengan demikian, benar-demi-konstruksi sangat cocok dengan metode pengembangan tangkas – yang semuanya tentang mengelola sifat iteratif dari pengembangan perangkat lunak.

Teknologi

Dalam dekade terakhir, komunitas teknis, terutama mereka yang terlibat dalam big data, telah melihat pemikiran ulang tentang penyimpanan dan pengambilan. Secara khusus, dialektika seputar alternatif no-SQL untuk penyimpanan data relasional telah berkembang. Pertama, gelombang sistem penyimpanan berdasarkan nilai kunci, bersama dengan paradigma pengurangan peta muncul. Sebuah reaksi mengikuti ini, mengajukan kritik dari paradigma penyimpanan nilai kunci dalam hal semantik dari kedua permintaan dan transaksi. RSpace memasang jarum, menawarkan toko tanpa SQL, tetapi dengan semantik kueri yang jelas dan semantik transaksional yang jelas. Ini melampaui ini dengan menawarkan fitur penting yang diperlukan untuk mendukung konkurensi yang dikontrol pengguna dalam kueri; kemampuan untuk menyimpan kode dan data. Faktanya, menempatkan kode dan data pada pijakan yang sama di lapisan penyimpanan sebenarnya berasal dari kendala konsistensi yang berasal dari salah satu aturan logika tertua, hukum tengah yang dikecualikan.

Jangan sampai ini tampak terlalu condong ke arah teoretis, penting untuk dipahami bahwa ini adalah teknologi generasi ketiga. Meredith merancang versi ini untuk orkestrasi proses BizTalk Microsoft, platform otomatisasi proses bisnis, kemudian memperbarui ide untuk menggunakan apa yang disebut kelanjutan yang dibatasi di SpecialK, dan akhirnya mengusulkan desain RSpace sebagai penyempurnaan lebih lanjut untuk memungkinkan RChain berkembang. Untuk mempelajari lebih lanjut tentang ini, kami mengundang Anda untuk menjelajahi RSpace di repositori GitHub RChain, yang seperti semua perangkat lunak RChain adalah open source.

Dalam konteks diskusi kami sebelumnya, di mana kami mengidentifikasi kebutuhan untuk mengatur dan menangani data dunia dengan cara yang terdesentralisasi, dimulai dengan penyimpanan yang membangun dan meningkatkan apa yang telah kami pelajari dari dekade terakhir data besar masuk akal. Pada dasarnya, komponen seperti ini duduk sebagai aset pribadi di dalam semua platform manajemen aset digital utama, dari Google hingga Facebook. Satu perbedaan utama, bagaimanapun, adalah bahwa toko kami adalah open source, dan cocok dengan infrastruktur publik yang terdesentralisasi, dan fitur serta fungsinya berasal dari semantik konkurensi tertentu, yang diwujudkan dalam rholang.

Rholang: bahasa pemrograman jenis baru

Rholang berbicara langsung dengan persyaratan yang diidentifikasi di atas bahwa mesin virtual, yaitu model komputasi, yang statusnya disimpan di blockchain, harus secara fundamental bersamaan, bukan berurutan. Analisis yang cermat terhadap berbagai model komputasi, dari mesin Turing hingga kalkulus lambda, dari jaring Petri hingga kalkulus , menunjukkan bahwa ada empat properti yang kami minati terkait dengan persyaratan pasar ini. Secara khusus,

  • Kelengkapan – dapatkah kita mengatakan semua yang perlu kita katakan?
  • Komposisi – dapatkah kita membangun program yang lebih kompleks dari yang lebih sederhana?
  • Concurrency – dapatkah kita membangun program yang memiliki bagian-bagian yang berjalan secara bersamaan?
  • Kompleksitas – dapatkah kita mengukur biaya sumber daya komputasi?

Sekilas tabel menunjukkan bahwa -kalkulus, dan lebih umum, keluarga model komputasi yang dikenal sebagai kalkulus proses seluler, adalah satu-satunya yang memiliki keempat fitur. Demikian juga, dengan menggunakan tabel ini memungkinkan untuk melihat sekilas sebagian besar proyek blockchain di pasar pada dasarnya semua yang dibutuhkan untuk melihat proyek mana yang memiliki skala yang diperlukan. Jika mereka tidak didasarkan pada model yang memiliki keempat fitur, mereka tidak akan diskalakan.

Kami dapat menambahkan baris lain ke tabel ini: telah digunakan sebagai dasar produk kelas perusahaan yang dibuat untuk mendukung kontrak pintar generasi sebelumnya; dan, telah digunakan sebagai dasar standar Internet yang menentukan kontrak pintar generasi sebelumnya. Sekali lagi, -kalkulus adalah satu-satunya yang memenuhi persyaratan ini juga. Secara khusus, penulis prospektus ini, Greg Meredith, adalah arsitek utama dari Microsoft’s BizTalk Process Orchestration, serta bahasa XLang, yang tidak hanya menjadi dasar untuk otomatisasi proses bisnis skala perusahaan dan Internet, tetapi juga sebagai dasar untuk jumlah standar W3C, termasuk BEPL dan BPML, serta menginformasikan standar WS-Koreografi. Semua ini adalah cara untuk mengatakan bahwa membuat pilihan untuk menggunakan model seperti -kalkulus tidak hanya baik secara teoritis, tetapi juga praktis, dan sejalan dengan standar industri.

Kami tidak dapat meninggalkan topik ini tanpa juga menyebutkan bahwa bukan hanya blockchain yang menuntut konkurensi sebagai model komputasi. Model pemrograman untuk program skala Internet telah berada di bawah tekanan yang cukup besar untuk pindah ke model komputasi bersamaan untuk beberapa waktu. Selama dua dekade terakhir, dua tren telah memberikan tekanan pada model pemrograman dari bawah, dan juga dari atas. Dari bawah, kita melihat bahwa hukum Moore berakhir pada awal tahun 2000-an. Di era sebelumnya seorang pengembang dapat menulis beberapa kode C, duduk di tangan mereka selama satu tahun, dan kinerja kode mereka akan berlipat ganda karena kemajuan dalam kecepatan prosesor. Tren ini berakhir ketika batas kecepatan pemrosesan sekuensial tercapai di awal tahun 2000-an dan cara utama mempercepat komputasi adalah dengan menempatkan lebih banyak inti per cetakan, lebih banyak chip per kotak, lebih banyak kotak per rak, lebih banyak rak per pusat data. Kode yang tidak memanfaatkan konkurensi ini tidak akan diskalakan. Demikian juga, dari atas, komersialisasi Internet telah mengakibatkan permintaan pengguna untuk program yang dapat diakses secara global oleh jutaan pengguna secara bersamaan, 24×7. Sekali lagi, kode yang pada dasarnya tidak bersamaan akan gagal merespons.

Ini berarti bahwa model pemrograman yang digunakan untuk memprogram aplikasi skala Internet, apakah mereka paham blockchain atau tidak, harus berkembang menjadi bersamaan. Kalkuli proses seluler membentuk dasar untuk evolusi itu bukan hanya karena mereka mewakili kemajuan signifikan dalam desain bahasa, tetapi karena dasar yang kuat untuk analisis statis program. Pentingnya fitur ini sulit untuk dinyatakan. Pemrograman serentak jauh lebih sulit daripada pemrograman sekuensial. Tanpa dukungan signifikan dari analisis program statis, bug dalam kode bersamaan akan menjadi luar biasa karena jumlah programmer yang menulis kode bersamaan meningkat.

Rho-kalkulus vs -kalkulus

Seperti disebutkan, -kalkulus hanyalah salah satu contoh dari keluarga model yang menikmati semua fitur yang diperlukan untuk menangani pasar ini. Sejak pemenang penghargaan Turing Robin Milner mengajukan model tersebut, beberapa model komputasi yang berbagi banyak fitur -kalkulus telah diidentifikasi dan dipelajari, termasuk kalkulus gabungan, kalkulus biru, dan kalkulus ambien. Masing-masing memiliki sifat yang menarik, tetapi pada akhirnya gagal dalam satu atau lain cara untuk memetakan serta memprogram Internet sebagai -kalkulus. Namun, ada satu model yang diturunkan dari -calculus, tetapi memperbaiki kekosongan kecil dan pada saat yang sama menambahkan beberapa fitur canggih yang cukup umum dalam pemrograman Internet, yaitu rho-calculus Meredith dan Radestock.

Kalkulus rho menutup lubang di kalkulus dengan membuat nama elemen kelas pertama dari model. Kalkulus adalah parametrik dalam teori nama; yaitu, diberikan teori nama, -kalkulus akan menghasilkan teori proses yang melakukan perhitungan dalam hal komunikasi yang menggunakan nama-nama tersebut sebagai saluran. Kalkulus adalah agnostik, apakah nama adalah nomor telepon, alamat email, alamat blockchain, atau semua hal di atas. Namun, -kalkulus murni hanya dapat bertukar nama antar proses. Ini seperti orang menyelesaikan pekerjaan sepenuhnya dengan bertukar nomor telepon. Ternyata, secara teori, mungkin untuk melakukan hal itu, tetapi banyak pekerjaan! Apa yang terjadi di Internet, bagaimanapun, adalah bahwa tidak hanya data, tetapi kode dikirimkan dari proses ke proses, dan rho-calculus mendukung fitur ini.

Ruang nama dan sharding

rho-calculus mencapai kemampuan ini untuk mengirimkan proses dengan membuat nama menjadi kode proses. Setelah nama menjadi kode, dimungkinkan untuk mengkodekan semua jenis pengertian telekomunikasi umum tentang alamat ke dalam pengaturan rho-calculus, semuanya mulai dari email hingga alamat blockchain disematkan dengan baik, dan dengan demikian mudah untuk menyematkan skema pengalamatan yang paling umum pada Internet: URI dan URL. Yang terakhir ini penting bukan hanya karena ini adalah cara seluruh world wide web diatur, tetapi juga karena ini mengidentifikasi fitur yang sangat kuat yang disempurnakan oleh rho-calculus: namespaces. URI mengatur web menjadi pohon sumber daya (sebenarnya hutan, tetapi pohon akan cukup untuk diskusi kita). Setiap URI adalah jalur dari akar pohon di sepanjang cabang ke daun, atau titik akhir yang menyimpan sumber daya. Karena struktur jalur ini, Anda dapat menunjukkan seluruh grup atau ruang sumber daya hanya menggunakan sebagian jalur. Hal ini memungkinkan kita untuk mengatur dan mencari ruang sumber daya dalam hal struktur pohon dan jalur. Kalkulus-rho meningkatkan paradigma ini dengan mengidentifikasi ruang-ruang ini secara terprogram.

Alasan fitur ini sangat penting di pasar ini lagi-lagi karena sebagian besar transaksi terisolasi. Kami membutuhkan cara terprogram untuk menyegmentasikan, mengatur, dan mengatur ulang transaksi sehingga mereka dikelompokkan berdasarkan sumber daya yang mereka miliki bersama. Ini biasa disebut sharding di ruang blockchain. Kemampuan namespace rho-calculus memberikan pendekatan yang sangat kuat untuk sharding. Secara khusus, pendekatan yang sama dapat digunakan untuk bergabung kembali dengan garpu, beroperasi dengan jaringan lain, serta mempercepat transaksi yang terisolasi.

Semantik operasional dan desain bahasa konstruksi yang benar

Diskusi ini tidak akan lengkap tanpa menyebutkan interaksi antara metodologi konstruksi yang benar dan sistem pengetikan untuk rholang. Semantik rholang bahasa pemrograman didasarkan pada praktik terbaik. rho-calculus menyediakan semantik operasional lengkap Turing dari fitur inti rholang. Setiap fitur tambahan rholang didefinisikan dalam hal pemetaan kembali ke kalkulus inti. Ini berarti bahwa bahasa itu benar-demi-konstruksi. Membandingkannya dengan Soliditas Ethereum dan EVM, Soliditas belum memiliki semantik formal. Ketika akhirnya mencapai satu, akan ada kewajiban bukti bahwa setiap kompiler dalam produksi mengkompilasi kode byte Solidity ke EVM dengan cara yang mempertahankan semantik. Tanpa bukti seperti itu, perlindungan apa yang mencegah serangan injeksi bytecode? Siapa yang bisa mengatakan bahwa kompiler penyerang tidak memancarkan bytecode yang menyedot bit kecil Ether ke akun mereka?

Rholang tidak dapat mengalami serangan seperti itu karena bahasa dan mekanisme eksekusi (yang hanya RSpace!) keduanya diturunkan langsung dari rho-calculus. Ini adalah jenis manfaat yang berasal dari metodologi konstruksi yang benar. Perhatikan juga bagaimana kita dapat memetik manfaat dari hasil ini tanpa harus mengetahui tentang persyaratan pasar yang lebih luas terkait dengan distribusi dan konsensus. Ini mencerminkan poin yang dibuat sebelumnya bahwa konstruksi yang benar sesuai dengan proses pengumpulan dan pengembangan persyaratan yang berulang dan tangkas.

Perlu juga dicatat bahwa semantik operasional yang bersih diperlukan untuk mengidentifikasi kapan satu program dapat diganti dengan yang lain, dengan kata lain, kapan aman untuk menempatkan program yang berbeda di tempat yang lain dalam konteks eksekusi yang lebih luas. Gagasan ini kembali ke prinsip substitusi Liskov, dan dalam istilah praktis pemeliharaan sistem jangka panjang, ini adalah fitur penting. Anda perlu tahu kapan Anda dapat menukar pemutakhiran atau perbaikan untuk komponen lama atau yang gagal. Dalam perangkat lunak ini didasarkan pada memiliki semantik bahasa pemrograman, dan semantik operasional sejauh ini merupakan bentuk semantik bahasa pemrograman yang paling banyak digunakan dalam teori dan praktik.

Prinsip substitusi ini berhubungan erat dengan analisis statik dan terutama bentuk analisis statik yang biasa disebut pengecekan tipe. Semua program yang menghuni tipe tertentu dapat disubstitusikan dalam konteks apa pun yang membutuhkan tipe itu. Ini adalah dasar dari perangkat lunak plug-n-play yang benar dan digunakan di semua pengaturan produksi yang serius. Namun, sistem tipe untuk sebagian besar bahasa modern yang populer relatif lemah, hanya memastikan bahwa struktur data yang disediakan sesuai dengan struktur data yang diharapkan. Mereka tidak mengatakan apa-apa tentang struktur program, apalagi perilaku program. Selama dua dekade terakhir, kelas baru sistem tipe telah muncul, tetapi belum menemukan jalan mereka ke dalam bahasa pemrograman arus utama. Tipe perilaku Rholang dirancang untuk mengubahnya.

Tipe perilaku

Makalah 2005 “Logika Namespace” menjelaskan logika dan sistem tipe untuk program dalam rho-calculus. Jenis ini dapat digunakan untuk menggambarkan rentang fenomena yang sangat luas mulai dari firewall waktu kompilasi, memastikan bahwa suatu proses dapat dan hanya akan berkomunikasi pada rentang saluran tertentu, hingga deadlock-freedom, memastikan bahwa suatu proses tidak macet , ke pengkodean format data umum, seperti skema XML. Logika adalah bagian dari pengembangan yang kembali ke program matematika Intuitionistic Brouwer, yang bersikeras bahwa bukti keberadaan objek matematika diperlukan untuk membangunnya, daripada menyimpulkannya dengan argumen reductio ad absurdum.

Sorotan lain di sepanjang jalan termasuk korespondensi Curry dan Howards antara jenis dalam kalkulus lambda yang diketik sederhana, dan rumus dalam logika intuisionistik; teori domain Abramsky dalam bentuk logis; Logika modal Robin Milner dan Matthew Hennessey untuk proses kalkuli; Logika perilaku spasial Caires; Logika linier Girard; dan, jenis sesi Wadler. Ini adalah perkembangan yang panjang dan terkenal yang hanya sebagian ditambang oleh perancang bahasa pemrograman.

Rholang sepenuhnya merangkul pendekatan tersebut dan untuk alasan yang baik. Pada tahun 2015, Meredith memperingatkan Vitalik Buterin dan siapa pun di komunitas Ethereum yang akan mendengarkan bahwa paparan keamanan utama untuk platform mereka – platform kontrak pintar apa pun – ada dalam kontrak yang ditentukan pengguna. Tak lama setelah mengartikulasikan peringatan ini, Ethereum terkena bug dalam kontrak DAO. Kontrak pintar DAO menerapkan semacam kickstarter terdesentralisasi. Idenya sangat populer, ETH senilai $150 juta dikirim ke kontrak. Kemudian seorang penyerang menemukan eksploitasi dan menghabiskan $ 50 juta dari kontrak. Untungnya, Ethereum hanya berjalan sekitar 10tps, jika tidak semua $150 juta akan hilang dalam beberapa detik.

Segera setelah bug dilaporkan, Meredith dan Pettersson menunjukkan bahwa ketika kontrak kereta diterjemahkan dalam rholang dan diketik, itu tidak akan mengetik cek. Akibatnya, kode yang bermasalah tidak akan pernah dikompilasi, apalagi diperiksa dan digunakan. Di rholang, bug muncul sebagai perlombaan antara memperbarui status kontrak dan melayani permintaan klien berikutnya. Jumlah eksploit untuk dapat mengakses keadaan basi. Jenis yang berasal dari logika namespace menangkap kondisi balapan. Kehilangan nilai dan pergolakan komunitas untuk Ethereum dapat membayar untuk pengembangan sistem tipe seperti itu untuk bahasa kontrak cerdas Ethereum, Solidity, lebih dari 10 kali lipat. Inilah sebabnya mengapa RChain dimulai dengan sistem tipe seperti itu di peta jalan kami.

Semantik Operasional dalam Bentuk Logis (OSLF)
Apa yang diisyaratkan oleh banyak perkembangan di sepanjang jalan menuju tipe perilaku adalah adanya algoritma yang menghasilkan sistem tipe. Algoritma OSLF, yang dikembangkan oleh Meredith dan Stay, adalah algoritma semacam itu. Diberikan

gagasan komputasi, seperti yang mungkin ditemukan dalam spesifikasi JVM, atau semantik Standar ML, atau rho-kalkulus, dan
gagasan tentang kumpulan seperti himpunan, dan
hukum distributif, yang menunjukkan bagaimana istilah dengan lubang di dalamnya menjadi kumpulan istilah yang dibuat dengan mengisi lubang
OSLF menghasilkan sistem tipe. Sistem tipe ini jauh lebih kaya daripada sistem tipe yang ditemukan di Java, atau Haskell, atau Scala. Itu dapat melihat hal-hal tentang struktur program dan perilaku program yang tidak bisa dilakukan oleh sistem tipe yang lebih lama. Namun, ini dapat ditentukan untuk subset program yang menarik.

Karena kekayaan ini, jenisnya juga dapat dianggap sebagai bahasa _query. _Jika manajemen aset digital adalah landasan Internet sebagai teknologi koordinasi global, maka ada satu aset digital yang sangat penting dan sangat kurang terlayani: kode. Kode adalah materi gelap Internet. Ini menyumbang sebagian besar fungsi, disimpan dan dikelola sebagai aset data, namun buram terhadap mekanisme kueri standar untuk data terstruktur. Namun, tipe perilaku memungkinkan kita untuk memfilter kode, yaitu memilih kode berdasarkan strukturnya dan fungsinya. Kemampuan ini tidak hanya merevolusi layanan seperti GitHub, tetapi juga mempersiapkan jalan bagi platform kontrak pintar yang cukup berhasil untuk menampung miliaran kontrak pintar karena memungkinkan untuk menemukan apa yang dicari di antara miliaran kemungkinan.

Casper: algoritma konsensus jenis baru

Sebelum blockchain, dan khususnya proof-of-work, algoritme konsensus terdistribusi seperti PAXOS lebih menyukai konsistensi langkah kunci daripada ketersediaan. Pada skala pilihan ini tidak bisa dijalankan, dan hampir semua platform global, seperti Facebook dan Twitter, menggunakan beberapa bentuk konsistensi akhirnya. Blockchain membawa ide ini lebih jauh, dan mengikatnya ke ide yang lebih radikal: mengamankan protokol secara ekonomis. Triknya adalah membuatnya terlalu mahal untuk menyerang jaringan. Sementara serangan 51% yang terkenal “mustahil” terhadap jaringan berbasis proof-of-work telah lama terbukti tidak hanya mungkin, tetapi juga terjadi pada jaringan proof-of-work terkemuka, gagasan untuk membuatnya terlalu mahal untuk diserang adalah masih cukup valid. Yang kurang bisa dipertahankan adalah menyia-nyiakan siklus menebak angka sebagai sarana demonstrasi kerja.

Sebagai gantinya, seseorang dapat melanjutkan dengan metodologi konstruksi yang benar, dan mengikuti petunjuk logika. Pada akhir 80-an dan awal 90-an logika linier Girard merevolusi gagasan kita tentang apa itu logika dan bukti. Secara khusus, logika linier sensitif terhadap sumber daya. Tidak seperti logika klasik atau logika intuitif, di mana proposisi A & A sama dengan proposisi A, logika linier memperhitungkan sumber daya yang diperlukan untuk membangun proposisi. Orang mungkin memikirkannya dalam hal membangun sifat-sifat senyawa kimia. Banyak pengujian untuk menetapkan bahwa suatu senyawa memiliki sifat tertentu memerlukan modifikasi atau bahkan penghancuran sejumlah senyawa. Secara lebih sederhana, dalam logika klasik, mengatakan “Saya punya satu dolar” & “Saya punya satu dolar” tidak sensitif terhadap kemungkinan bahwa ini bisa berarti “Saya punya dua dolar.” Faktanya, bukti linier yang valid seimbang dalam arti bahwa semua sumber daya harus diperhitungkan dengan cermat, dan bukti linier mencegah pengeluaran ganda. Tak perlu dikatakan, tampaknya wajar untuk melihat ke logika linier untuk petunjuk tentang konsensus, terutama konsensus yang dijamin secara ekonomi.

Di antara semantik yang berbeda untuk logika linier, semantik permainan menonjol sebagai intuitif dan berpotensi majemuk, dengan banyak variasi yang menerangi berbagai fitur logika linier. Semantik permainan Hyland dan Ong memberikan interpretasi logika yang sangat setia. Dalam semantik permainan Hyland-Ong, setiap gerakan pemain dan lawan harus dibenarkan oleh gerakan sebelumnya, dan struktur pembenaran inilah yang digunakan semantik mereka untuk menetapkan strategi tunggal. Pada tahun 2009, Meredith mengusulkan penggunaan struktur semacam ini untuk mengamankan protokol jaringan dalam komunikasi antara instance versi RSpace sebelumnya yang dikenal sebagai SpecialK. Mengikuti wawasan ini, CBC-Casper menerapkan dan mengeksploitasi struktur pembenaran pada blok untuk mendeteksi ekivokasi, memberikan batasan keaktifan, dan batasan keadilan. Properti ini biasanya dipastikan dengan memaksakan pola komunikasi tertentu, dan struktur pembenaran memberikan pandangan yang cukup tentang sejarah komunikasi sehingga properti ini, atau pelanggarannya dapat dideteksi.

Berbekal sarana untuk mendeteksi pelanggaran secara andal, bukti kepemilikan dapat diamankan secara ekonomis. Peserta memasang taruhan di token yang digunakan untuk mencegah penolakan layanan dan taruhannya dipotong, yaitu sebagian habis atau seluruhnya hangus, jika mereka melakukan pelanggaran. Dalam jangka panjang, hanya peserta yang bermain sesuai aturan yang dapat bertahan dalam permainan. Ini jauh lebih efisien daripada membuang-buang siklus menebak angka.

Pemerintahan

Jika kita berbicara tentang jaringan komputasi dan penyimpanan data global, aman secara ekonomi, terdesentralisasi, ada pertanyaan kritis tentang bagaimana jaringan diatur yang tidak dapat dihindari. Pertama dan terpenting, RChain mengikuti alam, mekanika kuantum, dan praktik pengembangan perangkat lunak yang muncul dalam proyek sumber terbuka. Sama seperti sarang lebah bercabang ketika ada ratu baru, atau fungsi gelombang terpecah di banyak dunia interpretasi mekanika kuantum, atau cabang proyek sumber terbuka di mana ada ketidaksepakatan teknis yang cukup, garpu adalah alami. Pertanyaannya adalah bagaimana menghubungkan garpu itu satu sama lain sedemikian rupa sehingga ekosistem spesiasi dan integrasi yang sehat muncul.

Sekali lagi, idenya adalah mengikuti kecenderungan alami. Kami sudah memiliki bukti dari blockchain yang ada bahwa komunitas akan melakukan lindung nilai di kedua sisi percabangan. Ini adalah hal yang paling aman untuk dilakukan, dan memungkinkan kedua belah pihak untuk mengakses efek jaringan dari yang lain. Itu juga yang terjadi di sarang lebah. Sarang yang bercabang secara genetik bergabung kembali selama penerbangan musim panas para ratu. Di RChain, hal paling sederhana yang harus dilakukan adalah memperlakukan garpu sebagai pecahan. Sharding, sebagaimana disebutkan di atas, adalah mekanisme elegan untuk membangun jembatan ekonomi antara dua jaringan,

Kerja sama

Di luar solusi yang didorong oleh teknologi dan pasar, masih ada hal-hal yang memerlukan tata kelola yang terorganisir secara sosial. RChain mengusulkan tradisi koperasi yang sudah lama berdiri. Di AS, Eropa, Cina, dan di seluruh dunia, koperasi telah menyediakan sarana tata kelola sumber daya bersama yang alami dan akar rumput. Di Amerika Utara, contoh terkenal termasuk REI, Tillamook Dairy Co-op, dan banyak perusahaan utilitas. Di jantung gerakan koperasi adalah prinsip-prinsip demokrasi, tidak sedikit di antaranya adalah satu anggota, satu suara. Di RChain, keanggotaan memberikan suara langsung pada item bisnis dan memilih dewan, yang pada gilirannya menunjuk pejabat perusahaan untuk menangani urusan sehari-hari.

Dengan demikian, Koperasi RChain belum menjadi demokrasi langsung, tetapi demokrasi perwakilan yang memungkinkan perbedaan alami dalam tingkat keterlibatan.

Pemegang token yang bukan anggota mempengaruhi harga token dan dengan demikian kapasitas Koperasi untuk melakukan sesuatu, tetapi tidak memiliki suara langsung dalam operasi Koperasi atau keputusan yang dibuatnya tentang sumber daya bersama seperti perbendaharaan, atau fitur dari kode.
Anggota koperasi menikmati hak pengambilan keputusan dan juga dividen. Pada akhir setiap tahun fiskal, anggota dibayar persentase dari token yang mereka habiskan untuk menjalankan kontrak pintar di platform.

Anggota dewan memiliki gambaran, membingkai item bisnis untuk pemungutan suara keanggotaan dan mengarahkan petugas.

Petugas memiliki peran sehari-hari di bidang teknik, manajemen komunitas, pemasaran, dan operasi lainnya.

Kami berhipotesis bahwa model ini dapat dibuat untuk menskalakan dengan cara yang hampir sama dengan penskalaan REI, atau Koperasi Komunitas Puget Sound telah menskalakan, atau … timbangan sarang lebah. Ketika terjadi perbedaan kepentingan yang signifikan, sekalipun tidak berakar pada konflik, melainkan perbedaan bahasa, atau zona waktu, maka masuk akal untuk membagi pemerintahan menjadi Koperasi lokal. Sebagai contoh, RChain secara aktif menjajaki dengan komunitas Tionghoa pendirian RChain China.

Dampak pada status token

Salah satu fitur terpenting yang dimiliki struktur Koperasi adalah hubungannya dengan undang-undang sekuritas, khususnya undang-undang sekuritas AS. Struktur Koperasi memungkinkan anggota memberikan kontrol suara atas kode, perbendaharaan, dan dewan. Selama token hanya dijual kepada anggota, meskipun token tersebut tidak memiliki utilitas yang mapan, token tersebut masih lolos dari pemeriksaan utama tes Howie. Dalam kasus token RChains RHOC/REV, utilitas terbukti. RHOC/REV adalah mekanisme pencegahan DoS, dan juga merupakan sarana untuk mempengaruhi komputasi dan penyimpanan pada jaringan.

Yurisdiksi mana?

Salah satu alasan yang sangat penting untuk mengeksplorasi struktur tata kelola yang lebih terukur ini adalah karena teknologi blockchain melintasi yurisdiksi. Dengan cara yang sama bahwa komersialisasi Internet membawa perdagangan global dan pasar global, blockchain melangkah lebih jauh. Pertimbangkan, bahkan dalam satu simpul shard dapat berjalan di AS, Eropa, dan Asia. Sangat mungkin untuk menulis kontrak cerdas yang secara kriptografis mengunci aset digital dengan cara yang disetujui oleh semua pihak dalam kontrak tidak adil atau tidak diinginkan. Di yurisdiksi mana masuk akal untuk mengatasi konflik apa pun tentang bagaimana menyelesaikan situasi? Lebih jauh, bahkan jika ini memungkinkan untuk diputuskan, seorang juri mungkin membuat keputusan, tetapi tidak ada pemulihan yang sebenarnya karena kode tidak mengakuinya.

Batas-batas yurisdiksi berdasarkan geopolitik tidak berguna secara praktis dalam situasi-situasi ini. Komunitas yang berbagi minat dan tujuan bersama, meskipun secara geografis, budaya, dan bahkan beragam secara politik, lebih selaras dengan komponen organisasi dasar blockchain. Jangan salah, blockchain akan memberikan tantangan mendasar bagi yurisprudensi global. Mengingat krisis yang kita hadapi, perkembangan ini tampaknya tepat waktu: Perubahan iklim juga melintasi batas-batas yurisdiksi. Kita harus bekerja sama lintas batas kota, provinsi, dan nasional. Bumi adalah milik bersama umat manusia. Kita tidak dapat menghancurkan seluruh ekosistem global karena kita semua akan menanggung akibatnya, terlepas dari kesetiaan geopolitik tertentu.

Peluang

Koperasi RChain dibentuk untuk menerima semua jenis keterlibatan. Kami menghargai semua bentuk, apakah itu bekerja pada pengembangan masyarakat, pengembangan bisnis, atau pengembangan perangkat lunak; apakah itu panduan keuangan, kemitraan bisnis, atau memperoleh token, kami menghargai semuanya. Anda akan menemukan bahwa komunitas RChain adalah salah satu dari energi dan keragaman, inspirasi, komitmen, dan kerja keras. Jika Anda menemukan ide-ide ini berbicara kepada Anda dan ingin terlibat, di bagian di bawah ini kami mengidentifikasi peluang dan berbicara tentang cara berbagai komunitas dan pemangku kepentingan dapat terlibat.

dApps

Satu-satunya faktor terbesar dalam mendorong adopsi jaringan adalah total volume transaksi di jaringan, dan satu-satunya faktor terbesar dalam mendorong volume transaksi jaringan adalah aplikasi terdesentralisasi, atau dApps. Seperti halnya strategi adopsi apa pun, sebagian adalah misteri magis, narasi apa yang akan menangkap imajinasi pasar, dan sebagian lagi adalah analitik inti keras. Di bagian di bawah ini kami ingin berbicara dengan keduanya, tetapi menekankan analitik.

Keterlibatan pengembang

Pengembang adalah pemimpin pemikiran di pasar yang didorong oleh teknologi, seperti blockchain. Menciptakan buzz dalam komunitas teknis menarik perhatian komunitas bisnis, serta sektor publik. Di antara banyak faktor, kombinasi peluang ekonomi dan inovasi teknologi merupakan daya tarik yang kuat bagi komunitas pengembang. Kombinasi blockchain awal dari wawasan baru ke dalam konsensus terdistribusi, bersama dengan potensi untuk menemukan kembali uang sangat menarik bagi banyak pengembang dan kami menyaksikan demam emas. Sekarang, bagaimanapun, dengan ketidakmampuan bukti kerja untuk skala diterima secara luas dan paparan banyak proyek sebagai penipuan, terburu-buru ICO berakhir.

RChain menawarkan kombinasi inovasi teknis dan peluang ekonomi yang sangat berbeda dan lebih membumi. Meskipun bidang ini sudah berusia puluhan tahun, dan berakhirnya hukum Moore selama lebih dari 15 tahun, teori konkurensi belum menembus desain bahasa pemrograman arus utama, meskipun kami melihat tanda-tanda seperti semakin populernya Go dan Rust. Demikian juga, baik manfaat maupun permen otak dari tipe perilaku tidak menembus desain bahasa pemrograman arus utama, maupun pola pikir pengembang arus utama. Dengan penekanan saat ini dalam praktik standar pada layanan mikro, aplikasi skala Internet, dan pengungkapan blockchain tentang konsensus terdistribusi, pergeseran ke arah pemrograman berorientasi protokol (POP) adalah kemungkinan besar.

Kalkuli proses seluler telah mendominasi bidang desain protokol dan analisis protokol selama beberapa dekade. Bahasa berbasis rho-kalkulus RChain, rholang, dan metodologi konstruksi yang benar menawarkan pengembang kesempatan untuk datang ke dunia modern di mana semantik bahasa pemrograman memenuhi desain protokol. Namun, itu jauh lebih jauh dari itu. Daripada berhenti di blockchain skala jaringan data, RChain mengakui bahwa akuisisi dan manajemen data lebih halus daripada hanya menyimpan gumpalan pada disk. Data dilengkapi dengan meta-data dan manajemen hak.

RCat

RChain telah membangun alat lapisan berikutnya, RCat, kependekan dari RChain Asset Tracker. RCat memungkinkan pengembang untuk mengemas gumpalan data besar dengan aset metadata, seperti file audio atau video dengan informasi tentang pembuat dan pemegang hak data audio atau video. Metadata sangat penting untuk menyediakan kemampuan pencarian untuk gumpalan data yang tidak menikmati fungsi pencarian semantik, seperti yang ditemukan dalam data relasional.

RChain juga telah menjalankan eksperimen membangun dApps internal dan pihak ketiga. DApp yang dikembangkan sendiri, RSong, dimasukkan ke dalam backend RCat dan ujung depan pemutar RSong untuk memungkinkan artis menawarkan lagu kepada audiens mereka. Data audio disimpan secara on-chain dan dikirim dari chain. Pembayaran untuk akses penonton ke data audio langsung ke artis berdasarkan penggunaan dan data pengelolaan hak dalam data terkait. DApp pihak ke-3, Proof, menyediakan verifikasi berita yang bersumber dari kerumunan, sekali lagi dengan data yang disimpan secara on-chain dan dikirim dari chain.

Salah satu ukuran terpenting dalam pengembangan kedua dApps ini adalah waktu untuk MVP (atau produk minimum yang layak) dan berapa banyak sumber daya yang dibutuhkan untuk mencapainya. Dalam kedua kasus, kami melihat urutan dua bulan dan dua insinyur. Ini berarti bahwa untuk investasi sumber daya yang kira-kira sama, diperlukan biaya proyek untuk mengumpulkan semua aset untuk menawarkan ICO, perusahaan rintisan bisa saja telah menyusun produk kerja tahap awal. Ini adalah jenis metrik yang diperhatikan oleh pengembang dan komunitas bisnis, karena mereka mewakili peluang ekonomi yang dapat dibuktikan dan terukur, sementara pada saat yang sama menyingkirkan penipuan.

Melangkah mundur untuk mempertimbangkan pandangan yang lebih luas, RChain menawarkan cara yang lebih solid dan stabil untuk menghidupkan kembali minat pengembang pada blockchain dengan membuat pabrik dApp. Desentralisasi platform aset digital adalah dorongan yang membuat pengembang menjelajahi teknologi seperti blockchain sejak awal. RChain mengingatkan kita akan tujuan itu dan menunjukkan bahwa itu sudah tercapai. Hal ini membawa tujuan kami untuk membangun infrastruktur koordinasi baru, yang mampu melakukan koordinasi akar rumput global seputar masalah perubahan iklim, lebih dekat dengan menarik para pengembang dengan dorongan dan insentif untuk mewujudkannya.

Adopsi arus utama

Mengawasi poin utama dari bagian ini, adopsi jaringan yang sebenarnya akan datang dari volume transaksi yang tinggi. Ini pada gilirannya berasal dari efek jaringan yang terkait dengan adopsi dApps yang lebih luas yang berjalan di jaringan. Jika keterlibatan pengembang adalah percikannya, apa oksigennya daripada penggemar nyala api adopsi arus utama? Sekali lagi, Internet sangat jelas: Penggunaan aset digitalnya secara sosial. Tidak terlihat lagi dari TikTok, YouTube, Instagram, atau WeChat. Fenomena ini sangat kebetulan karena itu berarti dApps dapat fokus pada volume tinggi, pasar transaksi berisiko rendah. Ada triliunan posting Facebook, hilangnya 10.000 di antaranya hampir tidak berdampak pada persepsi pasar tentang ketahanan atau utilitas jaringan.

Sebaliknya, di pasar keuangan volume tinggi, hilangnya 10.000 perdagangan akan segera diperhatikan dan menimbulkan kekhawatiran serius. Hilangnya atau rusaknya satu transaksi bernilai tinggi akan membawa dampak langsung dalam hal persepsi pasar tentang kelangsungan hidup jaringan. Kecemasan komunitas Ethereum di sekitar bug DAO tidak akan berarti apa-apa jika dibandingkan dengan Wall St atau reaksi Beijing terhadap hilangnya 100 juta dalam perdagangan valuta asing. Tetapi, bahkan dengan metodologi konstruksi yang benar, kita harus mengakui bahwa semua teknologi blockchain masih dalam masa pertumbuhan. Akan ada bug. Sekali lagi, lihat sejarah perangkat lunak. Baik kita berbicara tentang produk Microsoft atau proyek Internet yang dikembangkan secara organik, seperti Python, biasanya baru pada iterasi ke-4 dari sebuah proyek, kita melihat jenis kedewasaan dan kekokohan yang dapat kita terapkan pada aplikasi mission-critical yang melibatkan kehidupan manusia atau transaksi bernilai dolar tinggi.

Jadi, mimpi untuk menyebarkan blockchain pada infrastruktur manajemen rantai pasokan, atau manufaktur, atau pasar keuangan harus menunggu satu dekade yang baik sebelum teknologinya cukup kuat untuk memenuhi standar tersebut. Ironisnya, sementara nasib ekosistem seluruh planet harus dianggap sebagai misi kritis, penerapan teknologi blockchain untuk masalah ini tidak langsung. Sebaliknya itu semua tentang komunikasi dan koordinasi manusia yang fokus pada masalah ini. Singkatnya ini tentang penggunaan sosial aset digital. Itulah yang menjadikan blockchain sebagai komponen penting dalam kebutuhan mendesak kami untuk mengoordinasikan respons global kami terhadap Perubahan Iklim.

Hiburan

Lebih ironis lagi, perlakuan adil terhadap kelas kreatif, terutama artis di sektor hiburan, mungkin merupakan jalan terpendek dan termurah untuk adopsi arus utama. Dengan cara yang sama seperti pengembang akhirnya menjadi pemimpin pemikiran untuk pasar yang berorientasi teknis, artis di sektor hiburan sering kali menjadi pemimpin pemikiran untuk adopsi arus utama dari platform tertentu. Tak satu pun dari sektor pasar ini lebih terorganisir seperti ini daripada musik. Sebagai contoh, ketika Taylor Swift mentweet sentimennya tentang keterlibatan dalam proses politik pada November 2018, 65.000 orang mendaftar untuk memilih hari itu.

Pengamatan ini mengarah pada beberapa aritmatika yang sangat mendasar. Ambil 100 artis dengan satu juta pengikut masing-masing, jika tidak ada terlalu banyak persilangan antara audiens, maka 100 artis tersebut bersama-sama memimpin audiensi dengan 100 juta pengikut. Jika ada dApp yang memungkinkan artis-artis tersebut untuk membagikan musik mereka kepada audiens mereka, dan para pengikut itu mendengarkan, cukup konservatif, hingga 10 lagu / bulan, itu akan menjadi minimal 1 miliar transaksi / bulan di jaringan, yang dihasilkan oleh satu dApp itu. Sebaliknya, Ethereum dan Bitcoin bersama-sama menghasilkan sekitar 1 juta transaksi/hari. Itu 30 juta / bulan, sebagian kecil dari apa yang akan dihasilkan oleh satu dApp musik.

Lebih lanjut mencatat bahwa biaya akuisisi pengguna jauh lebih kecil di sektor hiburan daripada di media sosial, WhatsApp menghabiskan sekitar $20/pengguna, sementara Facebook menghabiskan lebih dari dua kali lipat untuk akuisisi pengguna. Ini berarti akuisisi satu juta pengguna membutuhkan biaya antara $20 juta – $50 juta. Dalam musik, artis menjual kepada pengikutnya. Jadi, jika artis mengadopsi platform, mereka membawa pengikut mereka, terutama jika konten dirilis secara eksklusif ke platform. Ini berarti bahwa seseorang dapat membelanjakan $100K / artis di 100 artis teratas dan masih memotong pengeluaran akuisisi pengguna di mana saja antara dan .

Tentu saja, tujuan RChain bukanlah pengurangan sinis dari dinamika pasar menjadi angka. Diskusi ini terutama berfungsi untuk mengilustrasikan poin bahwa pertimbangan cermat tentang bagaimana mendukung kelas kreatif akan membawa perubahan besar dalam adopsi platform; dan ini sangat cocok dengan tujuan untuk mempercepat koordinasi global seputar perubahan iklim. Para seniman dan kelas kreatif pada umumnya akan menjadi orang-orang yang paling mungkin menjadi ujung tombak perubahan yang harus terjadi. Membantu mereka menemukan jalan menuju keterlibatan mandiri dan mandiri dengan audiens dan pendukung mereka dan membantu mereka menemukan ekonomi regeneratif mereka sendiri memberikan contoh profil tinggi tentang bagaimana komunitas dapat mengatur diri sendiri dan menjauh dari ketergantungan bersama pada industri yang korup untuk sesuatu yang lebih sehat dan lebih menguntungkan.

Secara umum, gerakan menuju ekonomi hijau yang terdesentralisasi akan memiliki manfaat seperti ini di semua bidang, tidak hanya di sektor seni dan hiburan. Memimpin dengan sektor seni dan hiburan memberikan pendekatan ke pasar yang lebih luas yang diatur untuk meminimalkan risiko. Pembaca yang merasa terdorong untuk membangun aplikasi terdesentralisasi harus melihat seni dan hiburan sebagai gelombang pertama blockchain. Sama seperti perkembangan Internet, mulailah dengan dApps yang menarik bagi audiens arus utama tetapi jangan mempertaruhkan segalanya dengan satu kegagalan.

Validator

Seperti demam emas untuk menjadi penambang Bitcoin, pasar sudah melihat lonjakan untuk mengumpulkan layanan staking untuk node proof-of-stake. CBC-Casper RChain adalah bukti kepemilikan dan kami melihat minat akar rumput yang luar biasa dalam menjalankan node Validator RChain. Awalnya, Koperasi akan menjalankan sebagian besar node di root shard, tetapi pada akhirnya, ini harus beralih ke distribusi node yang lebih terdesentralisasi. Namun, untuk mendapatkan throughput transaksi yang dimaksud, perangkat keras untuk tulang punggung root shard sangat canggih.

Seperti semua penawaran yang dibangun di sekitar efek jaringan, ada ketergantungan siklik yang merupakan sumber awal resistensi dan kemudian menjadi mesin regenerasi ekonomi: agar menarik secara ekonomi bagi validator, jaringan membutuhkan volume transaksi yang tinggi; ini berarti dApps, polos dan sederhana. Namun, agar menarik secara ekonomi bagi dApps, jaringan membutuhkan banyak validator. Tentu saja, setelah massa kritis tercapai, validator akan berbondong-bondong ke jaringan karena mereka dapat menghasilkan 10X lipat dari apa yang mereka hasilkan dalam menambang Ethereum sambil hanya membebankan biaya transaksi kepada pengguna 1/100. Demikian juga, dApps akan berbondong-bondong ke jaringan karena itu satu-satunya jaringan yang menawarkan throughput transaksi ini dengan model kepercayaan yang mirip dengan Bitcoin yang juga membahas keamanan kontrak pintar tingkat pengguna.

Kami percaya validator gelombang pertama akan menjadi campuran orang-orang yang memahami misi yang lebih luas, untuk membangun infrastruktur koordinasi yang akan mendukung koordinasi global yang diperlukan untuk menghadapi perubahan iklim, serta orang-orang yang melihat potensi ekonomi yang nyata. Ini adalah satu tempat di mana RChain dan Goldman Sachs setuju. Pindah ke ekonomi regeneratif akan menciptakan kekayaan yang sangat besar. Tidak masalah di kamp mana Anda melihat diri Anda berada, dan Anda pasti bisa menjadi bagian dari keduanya. Jika Anda ingin terlibat dengan menjalankan node validator, jangan ragu untuk menghubungi Koperasi. Kami siap mendukung Anda.

Token

Ketika RChain mencapai efek jaringan massal yang kritis, token REV akan dibutuhkan oleh setiap dApp di jaringan, dan dApps tersebut akan membentuk ekosistem layanan pengguna yang dinamis, mulai dari peta terdesentralisasi dan layanan lokasi hingga pembayaran terdesentralisasi hingga Uber dan AirBnB yang terdesentralisasi. Kami ingin bekerja dengan mereka yang memahami bahwa pengelolaan sumber daya ini adalah virtualisasi pengelolaan sumber daya yang sama berharganya di alam. Setiap organisme hidup di planet ini bernafas. Oksigen adalah sumber daya penting untuk semua kehidupan. Demikian juga air sangat penting untuk semua kehidupan. Berlatih pada sumber daya yang penting untuk semua layanan pengguna utama yang memungkinkan komputasi menjadi laboratorium untuk mempelajari cara bekerja dengan sumber daya yang lebih berharga.

Seperti disebutkan beberapa kali, pengelolaan yang bertanggung jawab atas sumber daya semacam itu tidak bertentangan dengan penciptaan kekayaan dan kelimpahan. Justru sebaliknya; mempelajari cara mengelola sumber daya penting secara bertanggung jawab adalah inti dari regenerasi kehidupan di planet Bumi.

Ringkasan peluang

Jika Anda ingin terlibat dengan RChain, hal pertama yang harus dilakukan adalah bergabung dengan Koperasi. Sebagai anggota, Anda dapat berpartisipasi dalam tata kelola protokol, mendapatkan potongan harga atas penggunaan token REV untuk menjalankan kontrak pintar, dan berpartisipasi dalam penjualan token anggota. Selain itu, Anda dapat menjalankan node validator untuk membantu mengamankan jaringan, dan mendapatkan biaya transaksi. Terakhir, Anda dapat membangun dApps yang menawarkan layanan pengguna utama dan membawa transaksi ke jaringan.

Tak satu pun dari ini saling eksklusif. Setiap dApp ingin menjalankan node validatornya sendiri untuk memastikan pengiriman transaksi ke jaringan dan mendapatkan biaya transaksi untuk menutup sebagian biaya menjalankannya. Setiap validator akan membutuhkan token untuk dipertaruhkan, dan setiap dApp akan membutuhkan token untuk menjalankan kontrak pintar mereka. Semua peran ini dalam ekosistem mendapat manfaat dari menjadi anggota Koperasi, dan mengambil peran aktif dalam tata kelola protokol.

Status Teknis
Jaringan utama RChain aktif dan telah beroperasi sejak Februari 2020. Statistik jaringan tersedia di https://revdefine.io

Kami terus meningkatkan jaringan dengan fitur baru dan peningkatan kinerja. Anda dapat bergabung dengan pembaruan teknologi mingguan dan tanya jawab komunitas pada hari Rabu.

Semua kode RChain adalah open source dan tersedia di Github di sini. Situs web www.rchain.coop , https://developer.rchain.coop/ dan http://blog.rchain.coop/ berisi informasi lebih lanjut.

Kesimpulan
“Di saat-saat yang aneh dan tidak pasti, terkadang orang yang berakal bisa putus asa. Tapi Harapan tidak masuk akal. Dan Cinta bahkan lebih besar dari ini.” Robert Fripp

Tanpa ragu kita menghadapi bencana kehancuran ekosistem. Kami tidak akan melewati ini tanpa cedera. Kami tidak dapat terus melakukan bisnis seperti biasa. Blockchain, seperti halnya teknologi utama lainnya, muncul tepat pada saat kita membutuhkan dukungan teknologi untuk koordinasi global yang masif. Semua bahan yang kita butuhkan untuk transisi ke dunia yang lebih baik tersedia di saat kita sekarang. Terserah kita untuk mengenalinya dan menggunakannya.

Tim

Tim berisi detail tentang manajemen, dewan, dan kepemimpinan pengembang saat ini.

Greg Meredith
Lucius Gregory (Greg) Meredith adalah presiden Koperasi RChain. Greg adalah seorang matematikawan, dan penemu rho-calculus, salah satu penemu OSLF (Operational Semantics in Logic Form), dan penemu pendekatan ToGL untuk teori graf.

Darryl Neudorf

Latar belakang Darryl adalah dalam produksi musik, setelah mengerjakan beberapa album nominasi Gold dan Platinum Grammy selama lebih dari 30 tahun di industri ini.

Semangatnya adalah membasmi perantara dalam industri yang dipenuhi dengan mereka — oleh karena itu minatnya pada potensi blockchain untuk menciptakan solusi alternatif untuk hubungan artis/apresiator.

Darryl telah terlibat dengan RChain sejak awal sebagai anggota aktif komunitas Synereo mulai awal tahun 2015.

Steve Henley

Steve Henley adalah pemimpin pemikiran, ahli strategi, inovator, dan pengusaha dengan pengalaman industri 30 tahun. Dia adalah Kepala Kantor Teknologi untuk BeachTran Clearwater yang membawa angkutan cepat pribadi udara ke Tampa Bay Area.

Latar belakang karir awalnya meliputi penjualan industri perjalanan dan dukungan teknis telekomunikasi. Ia memperoleh gelar B.S./B.A. gelar di bidang Administrasi Bisnis dari University of Florida.

Rao Bhamidpati
Rao Bhamidipati adalah anggota Dewan dan VP Tata Kelola Produk dan Platform di RChain. Dia telah mengelola pengembangan inti RChain sejak Juli 2019 dan berhasil mengirimkan mainnet pada Februari 2020. Dia memimpin tata kelola tekno-ekonomi dari platform dan pengembangan ekosistem.

Rao memulai karir komputasinya dengan proyek penelitian komunikasi kelompok yang didanai DARPA, IBM, dan NJ State di masa pra-Lotus Notes. Bayangkan Slack pada jaringan modem dial up! 30 tahun pengalaman karir Rao mencakup sembilan tahun di Xerox dalam posisi manajemen tingkat rahasia dengan eksposur global, konsultasi dengan beberapa perusahaan Fortune 100 dalam teknologi dan strategi bisnis, intrapreneurship perusahaan serta startup terkemuka dari awal. Rao memimpin beberapa inovasi ‘industri pertama’ yang memenangkan penghargaan termasuk bank internet virtual penuh pertama dan memiliki kecenderungan untuk hal-hal yang sulit.

Rao memiliki gelar Sarjana Teknik Elektro, MBA dari Institut Manajemen India dan MS dalam Ilmu Komputer dari NJIT.

Camila Salkov

Camila Salkov adalah wanita pertama di dewan direksi RChain. Dia adalah Manajer Operasi TheDream.US – Program akses dan kesuksesan perguruan tinggi terbesar di negara ini untuk kaum muda imigran.

Camila Lulus dari Trinity W. University dengan gelar Bachelor of Science (BS) di bidang Akuntansi, dan gelar Master dengan konsentrasi Manajemen dari Fitchburg State University.

Camila adalah konsultan keuangan berpengalaman, pakar perbankan investasi, dan pemimpin yang membawa beragam latar belakang dalam upaya profesionalnya.

Steve Ross-Talbot

2018 – Ketua RChain Coop Eropa
2017 – CTO Estafet
2016 – Pekerja Pikiran
2015 – Chief Strategy Officer ZDLC, unit bisnis yang didanai oleh Cognizant
2012 – Managing Director/CEO ZDLC, unit bisnis yang didanai oleh Cognizant
2011 – Ditunjuk sebagai Profesor Tamu dalam Ilmu Komputer di Universitas Kingston
1996 – sekarang: Hon Research Fellow Napier University
2005 – sekarang: CEO Pi4 Technologies Foundation Ltd
2010 – 2012 Petugas Teknologi Eropa Sadar
2007 – 2010 Kepala Arsitek ASP Sadar
2004 – 2006: Ketua Layanan Web W3C
2003 – 2009: Co-chair W3C Web Services Choreography

Dimana anda bisa membeli RChain coin ?

Jika Anda ingin tahu di mana membeli RChain dengan kurs saat ini, pertukaran mata uang kripto teratas untuk perdagangan saham RChain saat ini adalah MEXC, ZB.COM, CITEX, dan Hotbit. A

Referensi : RChain Whitepaper

Older Posts
Newer Posts
Yasin, ST
Yasin, ST I am Conten Creator, Blogger, IT.. I have a hobby of reading and writing, sometimes singing and composing music

Post a Comment

- Advertisment -