껀텀
2018.12.13 20:37
조회 수 : 299
추천:3
시작일 종료일 : 2010 년 1 월 20 일 시작일 : 2010 년 1 월 20 일 최종 수정일 : 2011 년 1 월 15 일 화요일 오전 10 :阶段 的 技巧 实验
제적 지식 증명과 블록 체인 어플리케이션에서 연구 그룹의 작업을 지원하십시오. (지식 재산권 및 기타 분야에서 지원)
Qtum 양자 연결 기반 구조는 성공적으로 이루어지기 때문에 상당한 영향을 미칠 수 있습니다. 중요한 기술력과 기술력은 중요한 기술 개발과 발전을 가져옵니다. Qtum 量子대원 기반의 대학원, 哥伦比亚亚 大学, 西安 交大 與 西安 电子 科技 大学 等.
回 顧客 : Qtum 量子 장치와 대학 戰克 合作 : 零 知 識 证明 技术 研 发 系列 一
Qtum 양자 链接 哥伦比亚 대학교 合作 开展 区块 链 技术 研究
Qtum 양자 연결기 맹장 기상 학회 举办 黑客 马拉松
Qtum 量子 장치와 노드 사이의 결합
此以 与 伯克利 大学 공동 합작적인 기술 개발 탐색 :
Zexe : 분산 된 개인 컴퓨팅 사용
오로라 : R1CS의 투명한 간결한 인수
"Zexe : 분산 된 개인 컴퓨팅 사용"Sean Bowe, Alessandro Chiesa, Matthew D. Green, Ian Miers, Pratyush Mishra, Howard Wu 등이 있습니다. Cryptology ePrint Archive, Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward 등등. 오로라 : 투명한 간결 논쟁 University, Cryptology ePrint Archive 위로 논평.
연구 교수
전기 및 컴퓨터 공학과
알레산드로 키에 사
Alessandro Chiesa 2015 년 여름 학교를 방문하여 UC 버클리 (UC Berkeley)와 다른 학교들 (ETH Zurich)에서 박사 학위를 받았다. 연구 및 정보 시스템, 보안 및 정보 보호, 정보 보호 및 정보 보호, 정보 보호 및 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, 정보 보호, , libsnark는 정보 저장소를 필요로합니다.
오로라 : R1CS의 투명한 간결한 인수
摘要 요약
표준화를 진행중인 널리 배포 된 NP 언어 인 순위 1 제약 조건 충족 (R1CS)을위한 제로 지식 간결 논쟁 거리 인자 (SNARG)를 설계, 구현 및 평가합니다. 우리의 SNARG는 투명한 셋업을 가지고 있으며, 그럴듯하게 포스트 퀀텀 보안을 유지하며, 경량 암호화를 사용합니다. n 제약 조건의 만족 가능성을 증명하는 증거는 크기 O (log2 n)을 갖는다. 그것은 O (n log n) 필드 연산으로 생성되고 O (n)으로 검증 될 수 있습니다. 보안 128 비트에서, 교정은 수백만 개의 제약 조건에서도 250 kB 미만이며 유사한 기능을 갖춘 이전 SNARG보다 10 배 이상 짧습니다. 우리 건설의 핵심 요소는 원래 다 변수 다항식에 대해 연구 된 고전적인 sumcheck 문제 [LFKN92]의 단 변량 아날로그를 해결하기위한 새로운 Interactive Oracle Proof (IOP)입니다. 우리의 프로토콜은 필드의 모든 하위 그룹에 대해 리드 솔로몬 코드 워드의 엔트리 합계를 검증합니다. 또한 IOP 기반 인수를 작성하기위한 라이브러리 인 libiop를 제공합니다. 변환의 도구 체인을 사용하면 프로그래머가 간단한 IOP 하위 구성 요소를 작성하여 새로운 인수를 작성할 수 있습니다. 우리는이 라이브러리를 사용하여 우리의 구성 및 이전 구성을 지정하고이를 오픈 소스로 계획했습니다.
加州 大学 伯克利 分校 (캘리포니아 대학, 버클리), 약 2016 년 ARWU 세계 대학 학부 장관 세계 제 3 위.大学 之 一, 旧銀山 南 湾 的 斯坦福 大学 共同 건축학.
https://www.jinse.com/bitcoin/289659.html
찹쌀떡
