BlockchainAI Academy Job Creation BlockchainAI R&BD Global Partners About Us
방문해 주셔서 감사합니다.
포토뉴스 공지사항 외국인사 방한·행사 언론보도 국제사업장 및 사업영역 Blockchain News BBlockchain Tech
일정표 GCCSR 세계기후변화상황실 MP 유엔미래포럼과 관계


최신동영상


· 포토갤러리 
 
  [경북김천블록체인테크센터] 블록체인아카데미 Rchain의 조나단 코크머 등 교육실시 2018. 12. 10-15. 게시글을 twitter로 보내기 게시글을 facebook으로 보내기
·파일  MCMSIMG429386.jpg [2.8M]



[경북김천블록체인테크센터] 2018. 12. 10-15 제1차 경북블록체인아카데미 오픈,  1주일간 Rchain의 Rholang이라는 블록체인디벨로퍼교육 무료 실시. 경북블록체인특별위원이 된 조나단 코크머, 피터 핀, 등 여려명의 강사진 방한. 12월 중 ORBS도 경북김천테크센터서 무료교육실시

Rholang언어 강좌 경북김천블록체인AI테크센터 1차 블록체인교육실시 (경북블록체인테크센터는 12월에 ORBS 무료강의도 진행, 지속적인 블록체인 세계최고전문가 초청 강연)

날짜: 2018. 12. 10-15 (오전10-오후5시까지)

장소: 김천시 아포읍 아포대로 659-15 (블록체인AI테크센터)

교수: Jonathan Kochmer, 피터 핀, 등

비용: 무료. 단 6-7평 원룸 6곳 에 2-3명 숙박, 음식은 각자 부엌에서 요리가능. 학생들끼리 돈을 거둬 물, 음료, 라면 등 간단한 식품 구매가능. 요리제공시에는 식비를 부담하는 방식. 부근 식당 방문 등

학생인원: 10명 미만 (경북거주자 우선)

교육담당: 제임스박 테크센터장, 문의: unfutures@gmail.com, 02-313-6300, 010-4019-9494

커리큘럼: 롤랑 언어교육및 voting system, fake news잡는 블록체인

Rholang이라는 언어는 알체인(Rchain)에서 사용하는 언어로, 다른 언어보다 아주 쉽고 효용성이 높다고 한다.
기사본문 이미지
이철우도지사와 만나는 조나단 코크머, 기자향해 미소
기사본문 이미지
경북블록체인특별위원 위촉장받은 조나단 코크머


Rholang

Rholang is a behaviorally typed, concurrent programming language, with a focus on message-passing and formally modeled by the ρ-calculus, a reflective, higher-order extension of the π-calculus. It is designed to be used to implement protocols and "smart contracts" on a general-purpose blockchain, but could be used in other settings as well.
The language is still in the early stages of development, but for those who are interested, more information can be found in the RChain Platform Architecture.

Configuration

  1. Clone the repository
  2. Configure/fetch dependencies
    • sbt
    • CUP - can be installed using apt
    • JLex - install using apt
    • BNFC
    • Scala
  3. Run sbt bnfc:generate to generate the parser
  4. Run sbt console to launch the sbt console
  5. In the sbt console import the compiler with import coop.rchain.rho2rose._
  6. And then compile any Rholang ".rho" file with Rholang2RosetteCompiler.main(Array(".rho"))
Note if you make any changes you may need to run sbt clean or sbt bnfc:clean.


RChain Platform Architecture

Authors:Ed Eykholt, Lucius Meredith, Joseph Denman
Date:2017-07-22
Organization:RChain Cooperative
Copyright:This document is licensed under a Creative Commons Attribution 4.0 International (CC BY 4.0) License

Notice: Updated Details Available

For details on the platform as it is built, see developer.rchain.coop including rchain/rchain open source github repository, Rholang tutorial, and project status.

Abstract

The RChain Platform Architecture description provides a high-level blueprint of the RChain decentralized, economically sustainable public compute infrastructure. While the RChain design is inspired by that of earlier blockchains, it also realizes decades of research across the fields of concurrent and distributed computation, mathematics, and programming language design. The platform includes a modular, end-to-end design that commits to correct-by-construction software and industrial extensibility.
Intended audience: This document is written for software developers and innovators who are interested in decentralized systems.

Contents:


Motivation

The decentralization movement is ambitious and will provide awesome opportunities for new social and economic interactions. Decentralization also provides a counterbalance to abuses and corruption that occasionally occur in large organizations where power is concentrated. Decentralization supports self-determination and the rights of individuals to self-organize. Of course, the realities of a more decentralized world will also have their challenges and issues, such as how the needs of international law, public good, and compassion will be honored.
We admire the awesome innovations of Bitcoin, Ethereum, and other platforms that have dramatically advanced the state of decentralized systems and ushered in this new age of cryptocurrency and smart contracts. However, we also see symptoms that those projects did not use the best engineering and formal models for scaling and correctness in order to support mission-critical solutions. The ongoing debates about scaling and reliability are symptomatic of foundational architectural issues. For example, is it a scalable design to insist on an explicit serialized processing order for all of a blockchain’s transactions conducted on planet earth?
To become a blockchain solution with industrial-scale utility, RChain must provide content delivery at the scale of Facebook and support transactions at the speed of Visa. After due diligence on the current state of many blockchain projects, after deep collaboration with other blockchain developers, and after understanding their respective roadmaps, we concluded that the current and near-term Blockchain architectures cannot meet these requirements. In mid-2016, we resolved to build a better blockchain architecture.
Together with the blockchain industry, we are still at the dawn of this decentralized movement. Now is the time to lay down a solid architectural foundation. The journey ahead for those who share this ambitious vision is as challenging as it is worthwhile, and this document summarizes that vision and how we seek to accomplish it.

Approach

We began by admitting the following minimal requirements:
  • Dynamic, responsive, and provably correct smart contracts
  • Concurrent execution of independent smart contracts
  • Data separation to reduce unnecessary data replication of otherwise independent tokens and smart contracts
  • Dynamic and responsive node-to-node communication
  • Computationally non-intensive consensus/validation protocol
Building quality software is challenging. It is easier to build “clever” software; however, the resulting software is often of poor quality, riddled with bugs, difficult to maintain, and difficult to evolve. Inheriting and working on such software can be hellish for development teams, not to mention their customers. When building an open-source system to support a mission-critical economy, we reject a minimal-success mindset in favor of end-to-end correctness.
To accomplish the requirements above, our design approach is committed to:
  • A computational model that assumes fine-grained concurrency and dynamic network topology;
  • A composable and dynamic resource addressing scheme;
  • The functional programming paradigm, as it more naturally accommodates distributed and parallel processing;
  • Formally verified, correct-by-construction protocols which leverage model checking and theorem proving;
  • The principles of intension and compositionality.

목록

[신간] 세계미래보고서2019, 박영숙 제롬글렌 공저, 국가를 만드는 사람들, 미래경제시스템, 바이오혁명, 주택교통혁명, 에너지 환경혁명, 일자리혁명, 로봇 인공지능혁명 등 수많은 미래기술과 사회변화 시사
[신간] 세계미래보고서2019, 박영…
[세계미래보고서2018] 박영숙 제롬글렌저. 블록체인AI가 가져올 거대한 금융혁명이 결국 사회혁명으로 이어져. 작아지는 정부와 중간관리, 모든 사회구조가 p2p로 변하면서 중간자들의 수수료 서비스, 중간권력층의 붕괴가 일어나. 똑똑한 개개인들이 탈중앙화 분산권력을 즐
[세계미래보고서2018] 박영숙 제…
[주거혁명2030] 박영숙신간 2017.11.9
[주거혁명2030] 박영숙신간 2017.…
박영숙신간 [일자리혁명2030] 세계미래보고서2055저자 박영숙의 미래부상 일자리, 미래부상 산업들 총 정리한 신간, 비즈니스북스
박영숙신간 [일자리혁명2030] 세…
신간 세계미래보고서 2045, 2050, 2055. 인공지능혁명2030. 킬러로봇 개발 막자. 인간은 원하는 인류에 보탬이 되는 로봇을 만들 수 있다.
신간 세계미래보고서 2045, 2050,…
신간 인공지능혁명 2030, 박영숙 벤 고르첼 공저 인공지능이 다가와 힘든일 대신해주고 국가 운영 대행한다.
신간 인공지능혁명 2030, 박영숙 …
오늘 방문자:  688  어제 방문자:  1,104  총방문자수:  4,613,224