KIRIK
Konsep PROYEK KIRIK adalah proyek infrastruktur ambisius yang bertujuan untuk membawa revolusi ke bidang blockchain dan kontrak pintar.
KIRIK adalah:
• Kontrak Cerdas Semantik yang inovatif, yang orang biasa dapat dengan mudah membaca dan membangun, dan yang bebas dari kekurangan kontrak klasik Ethereum yang cerdas;
• meta-protokol untuk transfer aset cross-blockchain, yang mampu membuat semua blockchains dapat dioperasikan;
• memungkinkan membangun sistem AI yang dapat dikontrol dan transparan berinteraksi satu sama lain.
Kontrak pintar klasik
Kontrak cerdas adalah protokol komputer yang dimaksudkan untuk memfasilitasi, memverifikasi, atau menegakkan negosiasi atau kinerja suatu kontrak secara digital. Kontrak pintar memungkinkan kinerja transaksi yang kredibel tanpa pihak ketiga. Transaksi ini dapat dilacak dan tidak dapat diubah. Kontrak cerdas pertama kali diusulkan oleh Nick Szabo, yang menciptakan istilah tersebut, pada tahun 1996.Proponents kontrak cerdas mengklaim bahwa banyak jenis klausa kontrak dapat dibuat sebagian atau sepenuhnya mengeksekusi diri, menegakkan sendiri, atau keduanya. Tujuan dari kontrak cerdas adalah untuk memberikan keamanan yang lebih unggul dari hukum kontrak tradisional dan untuk mengurangi biaya transaksi lainnya yang terkait dengan kontrak. Berbagai cryptocurrency telah menerapkan jenis kontrak cerdas.
Kontrak cerdas Ethereum:-
• Sulit untuk memahami dan memverifikasi
• Tergantung pada pemrogram
• Hanya tersedia di dalam Ethereum
• Harga GAS yang tinggi
• Kecepatan transaksi rendah
• Audit> 5 000 $
TANTANGAN
Tantangan saat ini di bidang kontrak cerdas dan buku besar didistribusikan Blockchain
terputus-putus Masalah kontrak pintar
bahasa Aplikasi terbatas
Sekitar 1500 blockchains berbeda ada sekarang
Analogi ke era pra-Internet (Compuserve, AOL, FidoNet)
Pergerakan aset digital hanya dimungkinkan melalui pertukaran terpusat
Dibuat untuk programmer oleh programmer
Tidak jelas untuk spesialis domain subjek
Tidak ada yang relevan secara hukum
kontrak pintar
Dasar matematika formal tidak ada untuk teknologi kontrak pintar
Aplikasi bermasalah di sektor ekonomi riil
Risiko yang terkait dengan penggunaan kontrak cerdas menghambat pengembangan proyek
Tidak ada kontrak semantik-semantik
Di Ethereum, ada kesenjangan antara spesifikasi smartcontract dan implementasinya. Kontrak cerdas berubah dari spesifikasi menjadi kode Soliditas yang ditulis oleh seorang programmer.
Kontrak semantik KIRIK
Kontrak semantik KIRIK adalah spesifikasi yang dapat dieksekusi. KIRIK hanya mengeksekusi spesifikasi seperti printer 3D mencetak model 3D
PROYEK KIRIK
Keuntungan kontrak semantik
CERDAS DAN MUDAH UNTUK MENGGUNAKAN YAYASAN MATEMATIKA
LEBAR LINGKUP APLIKASI
• Editor kontrak berdasarkan diagram alur dan spesifikasi
• Dukungan DSL (bahasa domain subjek)
• Dukungan kontrak-kontrak cerdas semantik yang mengikat secara hukum
• Template untuk pembuatan kontrak jalur cepat
• Berdasarkan Semantic Modeling
Teori yang dikembangkan oleh matematikawan terkenal dunia Yuri L. Yershov, Sergey S. Goncharov, dan Dmitry I. Sviridenko
• American Mathematical Society memiliki
termasuk teori ini dalam daftar pencapaian paling hebat dari sekolah matematika Rusia di abad ke-20
• Kontrak semantik bekerja dengan beragam blockchains
• Mereka cocok untuk pemerintahan
proyek
• Pendekatan baru untuk sistem berbasis AI
pengelolaan
• Cocok untuk investasi “Cerdas”
• Mereka bagus dalam menentukan aturan untuk
pertukaran dan perdagangan yang terdesentralisasi
platform
Tentang KIRIK
• Penasihat berpengalaman
• Asosiasi Kripto
• Pendirian lembaga ilmiah adalah pengusaha berseri yang memiliki lebih dari 20 tahun pengalaman di bidang TI. Tim teknik yang kuat dengan pengalaman dalam penerapan protokol jaringan, sistem transaksional yang sangat banyak, dan blockchain.
Klien: telco, parkir Moskow, bank, ritel. Dua Doktor Ilmu Pengetahuan Lengkap Tim penasihat internasional yang kuat dengan pengalaman dalam industri kripto. RACIB, Institute of Mathematics, Universitas Negeri Novosibirsk, CryptoAcademy.nl
TIM KUAT
Berpengalaman dalam
• Sistem yang sangat penuh, blockchain
• Matematika, pemodelan semantik dan pemrograman
Distribusi Token
Simbol: - KRK
NAME: - KIRIK
Standar: - ERC20
PLATFORM: - ETH BASED PoW
Distribusi KIRIK
• Jumlah koin ini akan di-pre-mined
Total suplai: 1 400 000 000 KRK
• 1 KRK = 0,05 USD selama ICO
Penjualan: 700 000 000 KRK
• Jumlah ini akan diberikan kepada tim selama tahap pengembangan
Tim: 280 000 000 KRK
• Yayasan KIRIK akan bertanggung jawab untuk keberhasilan proyek, termasuk bagian keuangan KIRIK, dan untuk proyek berbasis KIRIK lainnya
• Yayasan akan bekerja dengan mitra dan penasihat
ROADMAP 2018
Pre-Sale
15 July 2018
Contest of KIRIK-based projects
Starts in July
Crowd sale
Mid Sept 2018
Contest of KIRIK-based projects
Deadline in Oct/Nov
KIRIK semantic contracts visual constructor
October
KIRIK decentralized MVP
Dec 2018-Jan 2019
2019 ROADMAP
KIRIK AI contracts to semantic contracts conversion MVP
Apr 2019
May 2019
KIRIK Semantic
Oracles/Predicates
marketplace MVP
Jul-Aug 2019 KIRIK contest for blockchains
semantic gateways start
Aug 2019
Semantic
Decentralized
Exchange MVP
End of 2019
AI based
semantic contracts
verification MVP
Q1-Q2 of 2020
Untuk info lebih lanjut kujungi tautan links dibawah:
Website/Twitter/Facebook/Telegram/Medium/Reddit
Nama pengguna Btt: https://bitcointalk.org/index.php?action=profile;u=2051385
Alamat Eth:0x320f6344D4BE878C96e77AD580e2EE132C4BF6F8
KIRIK adalah:
• Kontrak Cerdas Semantik yang inovatif, yang orang biasa dapat dengan mudah membaca dan membangun, dan yang bebas dari kekurangan kontrak klasik Ethereum yang cerdas;
• meta-protokol untuk transfer aset cross-blockchain, yang mampu membuat semua blockchains dapat dioperasikan;
• memungkinkan membangun sistem AI yang dapat dikontrol dan transparan berinteraksi satu sama lain.
Kontrak pintar klasik
Kontrak cerdas adalah protokol komputer yang dimaksudkan untuk memfasilitasi, memverifikasi, atau menegakkan negosiasi atau kinerja suatu kontrak secara digital. Kontrak pintar memungkinkan kinerja transaksi yang kredibel tanpa pihak ketiga. Transaksi ini dapat dilacak dan tidak dapat diubah. Kontrak cerdas pertama kali diusulkan oleh Nick Szabo, yang menciptakan istilah tersebut, pada tahun 1996.Proponents kontrak cerdas mengklaim bahwa banyak jenis klausa kontrak dapat dibuat sebagian atau sepenuhnya mengeksekusi diri, menegakkan sendiri, atau keduanya. Tujuan dari kontrak cerdas adalah untuk memberikan keamanan yang lebih unggul dari hukum kontrak tradisional dan untuk mengurangi biaya transaksi lainnya yang terkait dengan kontrak. Berbagai cryptocurrency telah menerapkan jenis kontrak cerdas.
Kontrak cerdas Ethereum:-
• Sulit untuk memahami dan memverifikasi
• Tergantung pada pemrogram
• Hanya tersedia di dalam Ethereum
• Harga GAS yang tinggi
• Kecepatan transaksi rendah
• Audit> 5 000 $
TANTANGAN
Tantangan saat ini di bidang kontrak cerdas dan buku besar didistribusikan Blockchain
terputus-putus Masalah kontrak pintar
bahasa Aplikasi terbatas
Sekitar 1500 blockchains berbeda ada sekarang
Analogi ke era pra-Internet (Compuserve, AOL, FidoNet)
Pergerakan aset digital hanya dimungkinkan melalui pertukaran terpusat
Dibuat untuk programmer oleh programmer
Tidak jelas untuk spesialis domain subjek
Tidak ada yang relevan secara hukum
kontrak pintar
Dasar matematika formal tidak ada untuk teknologi kontrak pintar
Aplikasi bermasalah di sektor ekonomi riil
Risiko yang terkait dengan penggunaan kontrak cerdas menghambat pengembangan proyek
Tidak ada kontrak semantik-semantik
Di Ethereum, ada kesenjangan antara spesifikasi smartcontract dan implementasinya. Kontrak cerdas berubah dari spesifikasi menjadi kode Soliditas yang ditulis oleh seorang programmer.
Kontrak semantik KIRIK
Kontrak semantik KIRIK adalah spesifikasi yang dapat dieksekusi. KIRIK hanya mengeksekusi spesifikasi seperti printer 3D mencetak model 3D
PROYEK KIRIK
Keuntungan kontrak semantik
CERDAS DAN MUDAH UNTUK MENGGUNAKAN YAYASAN MATEMATIKA
LEBAR LINGKUP APLIKASI
• Editor kontrak berdasarkan diagram alur dan spesifikasi
• Dukungan DSL (bahasa domain subjek)
• Dukungan kontrak-kontrak cerdas semantik yang mengikat secara hukum
• Template untuk pembuatan kontrak jalur cepat
• Berdasarkan Semantic Modeling
Teori yang dikembangkan oleh matematikawan terkenal dunia Yuri L. Yershov, Sergey S. Goncharov, dan Dmitry I. Sviridenko
• American Mathematical Society memiliki
termasuk teori ini dalam daftar pencapaian paling hebat dari sekolah matematika Rusia di abad ke-20
• Kontrak semantik bekerja dengan beragam blockchains
• Mereka cocok untuk pemerintahan
proyek
• Pendekatan baru untuk sistem berbasis AI
pengelolaan
• Cocok untuk investasi “Cerdas”
• Mereka bagus dalam menentukan aturan untuk
pertukaran dan perdagangan yang terdesentralisasi
platform
Tentang KIRIK
• Penasihat berpengalaman
• Asosiasi Kripto
• Pendirian lembaga ilmiah adalah pengusaha berseri yang memiliki lebih dari 20 tahun pengalaman di bidang TI. Tim teknik yang kuat dengan pengalaman dalam penerapan protokol jaringan, sistem transaksional yang sangat banyak, dan blockchain.
Klien: telco, parkir Moskow, bank, ritel. Dua Doktor Ilmu Pengetahuan Lengkap Tim penasihat internasional yang kuat dengan pengalaman dalam industri kripto. RACIB, Institute of Mathematics, Universitas Negeri Novosibirsk, CryptoAcademy.nl
TIM KUAT
Berpengalaman dalam
• Sistem yang sangat penuh, blockchain
• Matematika, pemodelan semantik dan pemrograman
Distribusi Token
Simbol: - KRK
NAME: - KIRIK
Standar: - ERC20
PLATFORM: - ETH BASED PoW
Distribusi KIRIK
• Jumlah koin ini akan di-pre-mined
Total suplai: 1 400 000 000 KRK
• 1 KRK = 0,05 USD selama ICO
Penjualan: 700 000 000 KRK
• Jumlah ini akan diberikan kepada tim selama tahap pengembangan
Tim: 280 000 000 KRK
• Yayasan KIRIK akan bertanggung jawab untuk keberhasilan proyek, termasuk bagian keuangan KIRIK, dan untuk proyek berbasis KIRIK lainnya
• Yayasan akan bekerja dengan mitra dan penasihat
ROADMAP 2018
Pre-Sale
15 July 2018
Contest of KIRIK-based projects
Starts in July
Crowd sale
Mid Sept 2018
Contest of KIRIK-based projects
Deadline in Oct/Nov
KIRIK semantic contracts visual constructor
October
KIRIK decentralized MVP
Dec 2018-Jan 2019
2019 ROADMAP
KIRIK AI contracts to semantic contracts conversion MVP
Apr 2019
May 2019
KIRIK Semantic
Oracles/Predicates
marketplace MVP
Jul-Aug 2019 KIRIK contest for blockchains
semantic gateways start
Aug 2019
Semantic
Decentralized
Exchange MVP
End of 2019
AI based
semantic contracts
verification MVP
Q1-Q2 of 2020
Untuk info lebih lanjut kujungi tautan links dibawah:
Website/Twitter/Facebook/Telegram/Medium/Reddit
Nama pengguna Btt: https://bitcointalk.org/index.php?action=profile;u=2051385
Alamat Eth:0x320f6344D4BE878C96e77AD580e2EE132C4BF6F8
No comments:
Post a Comment