 Lurk 프로그래밍 언어 저장소가 이제 대중에게 공개 되었습니다. Lurk는 SNARK 증명, 블록체인 합의, 파일코인 가상 머신(FVM), 분산형 앱, IPFS 및 IPLD 등을 합께 발표했습니다.  개요 Lurk는 Scheme 및 Common Lisp의 영향을 받은 Lisp 의 정적으로 범위가 지정된 방언입니다. 대부분의 프로그래밍 언어와 비교할 때 그것의 구별되는 특징은 zk-SNARK를 사용하여 Lurk 프로그램의 올바른 실행을 직접 증명할 수 있다는 것입니다. 결과 증명은 상대적으로 작고 빠르게 검증할 수 있으며 증명할 진술에 명시적으로 포함된 정보만 드러냅니다. 요컨대, Lurk는 프로그램 개발을 훨씬 간단하게 만드는 접근 가능한 언어입니다.  작성할 수 있는 프로그램이 기존 SNARK 프로그램보다 '강력'하고 해당 프로그램을 작성하는 것이 도메인 전문가가 아닌 사람들에게도 가능해지기 때문에 SNARK 프로그래밍에 더 쉽게 액세스할 수 있습니다. Lurk는 Protocol Labs 수석 연구원 Chhi'mèd Künzang이 Filecoin 증명을 구현하기 위해 수행한 작업의 확장으로 만들었습니다. 증명 구성에서 Filecoin은 지식을 증명하기 위한 효율적이고 암호학적으로 안전한 메커니즘인 SNARK를 사용합니다. "ZK"(Zero Knowledge)는 Filecoin SNARK의 필수 부분은 아니지만 증명자가 무엇에 대한 정보를 공개하지 않고 증명을 생성할 수 있음을 의미합니다.  Filecoin은 네트워크가 의존하는 핵심 암호화 프로토콜인 복제 증명(PoRep)과 공간 증명(PoSt) 모두에 SNARK를 사용합니다. ( 이 ProtoSchool 튜토리얼 참조이러한 개념에 대한 높은 수준의 소개를 위해.) Filecoin Proofs의 요구 사항은 이전 세대의 SNARK를 한계까지 확장하는 동시에 다음 세대의 가능성을 찾고, 인식하고, 발견하도록 준비시키고, 루크를 입력합니다. 대부분의 zk-SNARK 저작 언어와 달리 Lurk는 튜링 완전하므로 임의의 계산 주장을 하고 증명할 수 있습니다(리소스 제한에 따름). Lurk는 Lisp이기 때문에 코드는 단순히 Lurk 데이터이며 모든 Lurk 데이터는 Lurk 프로그램으로 직접 평가할 수 있습니다.  Lurk는 SNARK 친화적인 포세이돈 해시( Neptune 에서 제공 )를 사용하여 복합 데이터를 구성하므로 해당 데이터는 자연스럽게 콘텐츠 주소 지정이 가능합니다. Lurk는 현재 여러 백엔드 검증 시스템, 특히 SnarkPack + 및 Nova 가 포함된 Groth16 을 지원하며 다음과 같은 여러 주요 기능을 지원합니다. -검증 가능한 계산 -간결한 증거 -제로 지식 -튜링 완전성 -콘텐츠 주소 지정 가능 데이터의 임의 순회 -고차 함수(예: 증명과 함께 계산에 대한 공개 입력으로서의 함수) -I-PFS 및 IPLD 와의 자연스러운 통합을 위한 콘텐츠 주소 지정 가능 데이터  | 루크와 파일코인 Lurk는 다양한 방법으로 Filecoin 프로토콜의 개발을 지원할 수 있습니다. 예를 들어 파일코인 가상 머신(FVM) 과의 Lurk 통합을 통해 파일 코인 블록체인에서 Lurk 프로그램 및 애플리케이션을 검증할 수 있습니다. 이것은 Filecoin 스마트 계약(또는 행위자)에게 응용 프로그램별 영지식 증명 가능 계산에 대한 일류 기본 액세스를 제공합니다. Filecoin 행위자는 Filecoin 네트워크에 저장된 데이터를 통해 장기 실행되는 Lurk 작업을 중개, 조정 및 장려하는 데 사용할 수 있습니다. 또한 Filecoin 섹터, 개인 저장소 또는 체인 자체를 포함한 여러 소스의 공개 및 개인 데이터를 결합하는 증거를 허용합니다.파일코인에서 더 오랜 기간 동안 Lurk는 계층적 합의 를 개선할 것입니다.  계층적 합의는 블록체인 네트워크를 수평으로 확장하여 처리량과 유연성을 높이는 프레임워크입니다. 계층적 합의에서 사용자의 하위 집합은 시스템의 다른 서브넷과 원활하게 상호 작용할 수 있는 기능을 유지하면서 독립적인 상태 및 합의 알고리즘으로 새 서브넷을 생성할 수 있습니다. 서브넷은 서브넷 상태의 증명을 부모에게 주기적으로 커밋하여 부모 체인의 보안을 활용합니다. 이는 최신 글로벌 합의를 보장하고 계층 구조의 다른 서브넷으로 메시지를 전파합니다. 현재 계층적 합의 구현에서 서브넷 증명을 확인하려면 해당 서브넷의 상태에 대한 전체 액세스 권한이 필요합니다. Lurk는 서브넷에서 수행된 상태 변경에 대한 자체 검증 가능한 증거를 구축하여 이 종속성을 완전히 제거할 수 있습니다.  | Lurk 생태계의 다른 주요 플레이어 Lurk 생태계에는 Protocol Labs 및 Filecoin Foundation 이 지원하는 연구원 및 개발 팀이 포함됩니다 . Harvard SEAS 의 컴퓨터 과학 조교수인 Nada Amin 은 Lurk의 Lisp 구현을 사용 가능한 부트스트랩 프로그래밍 시스템으로 바꾸는 작업을 하고 있습니다. Lurk에 대해 그녀는 "재귀적 영지식 증명을 위해 Lisp를 구현하는 범용 회로를 만드는 프로젝트가 흥미롭다는 것을 알았습니다. 왜냐하면 그것이 zk-SNARK(예: 단점에 대한 해시 콘)에 맞는 우아한 Lisp 매핑이기 때문입니다. zk-SNARK를 민주화할 가능성이 있습니다." Filecoin Foundation에서 자금을 지원하는 Lurk와의 통합을 지원하는 개발 중인 프로그래밍 언어인 Glow의 연구원 및 개발자는 분산형 앱(DApp)을 구축하기 위한 간단한 도메인별 언어를 개발하고 있습니다. "일반적으로 일부 Glow 코드는 오프체인(즉, DApp 사용자)을 실행하고 일부는 온체인(즉, 공유 합의에 의해)을 실행합니다."라고 Mutual Knowledge Systems 의 사장인 François-René Rideau가 설명합니다. 글로우를 개발 중입니다. "Glow 코드를 Lurk로 컴파일함으로써 우리는 오프체인 증명을 구축하고 검증에만 합의를 사용할 수 있으므로 가스 요금을 낮추고 개인 정보를 보호하며 Glow로 작성된 DApp의 보안 및 확장성을 개선할 수 있습니다."  또한 Filecoin Foundation에서 자금을 지원하는 Yatima는 하위 구조 유형, 메타 프로그래밍 및 IPFS를 통한 콘텐츠 주소 지정을 특징으로 하는 Rust에서 구현된 종속 유형 기능 프로그래밍 언어 및 정리 증명자입니다. Yatima의 AST는 IPLD 형식을 사용하여 인코딩되어 Yatima 프로그램을 IPFS 네트워크를 통해 쉽게 공유하고 Filecoin에 저장하며 웹과 블록체인 런타임을 포함한 모든 WASM 플랫폼에서 결정론적으로 평가할 수 있습니다. Yatima는 임의의 컴파일 시간 계산에 대한 영지식 검증을 허용하기 위해 Lurk와 협력하고 있습니다. 형식적 증명은 표현적이지만 검증하는 데 비용이 많이 들 수 있습니다. 이러한 형식 증명의 검증자를 Lurk, 따라서 zk-SNARK로 컴파일함으로써 Yatima는 형식 증명의 일정 시간 및 일정 공간 검증을 가능하게 할 수 있습니다. 재능 있는 연구원 및 엔지니어 팀과 성장하는 기여자 생태계를 통해 Luk의 미래가 기대됩니다. [추천영상] |
