알레오코인

스마트 계약에서 호출할 수 있도록 Leo 프로그래밍 언어의 6가지 필수 규칙 구현

1. balance_of 기능
2. total_supply 기능
3. 승인 기능
4. transfer_from 함수
5. Transfer 기능
6. Allowance 기능
옵션 기능, 이름 기능, 기호 기능, 테스트 기능

범용 영지식 응용 프로그램을 위한 정리 생성기를 도입한 최초의 프로그래밍 언어

Leo는 개인 응용 프로그램을 작성하기 위해 구축된 Rust에서 영감을 받은 정적 형식 프로그래밍 언어입니다. 개발자가 Aleo 블록체인에서 직관적 구축할 수 있도록 설계되어 개인 분산형 생태계를 위한 토대를 제공합니다.

옵션 기능, 이름 기능, 기호 기능, 테스트 기능

테스트 프레임워크, 패키지 레지스트리, 가져오기 해석기, 원격 컴파일러 및 범용 영지식 응용 프로그램을 위한 정리 생성기를 도입한 최초의 프로그래밍 언어입니다.

Leo는 가능한 한 많은 암호화 지식 요구 사항을 제거하도록 설계되었습니다. 또한 Javascript 및 Typescript 개발자들이 매우 간단한 학습 곡선을 가질 수 있습니다.(그 중 약 1,200만명, 암호화 개발자 수는 매우 적음)

ZEXE

젝스(ZEXE)는 ALEO의 영지식 솔루션이며, 사용자는 오프라인으로 상태 전환을 실행합니다.

이 프로세스는 온체인 트랜잭션으로 묶인 증명을 생성합니다. 영지식 증명을 사용하여 탈 중앙화 프라이빗한 컴퓨테이션에 대한 내용으로, 영지식증명은 암호 프로토콜로 한쪽(검증자)가 어떤 것이 진실인지 밝히지 않고 진술이나 사실을 상대방(검증인)에게 증명을 합니다.

PoSW

ALEO의 모델은 기존의 작업 증명 방식(PoW)과는 다소 다르지만 중요한 차이를 가지고 있습니다.

Proof-of-Succinct Work는 Proof-of-Of-Needle-Work 시스템의 한 예입니다. 이 프레임워크에서 채굴 활동의 한계 에너지 소비량은 크게 감소됩니다.

블록체인이 전혀 없는 시스템에서도 작업이 수행됩니다.

Leo

Leo는 개인 애플리케이션을 직관적이고 쉽게 작성하기 위해 개발된 최초의 프로그래밍 언어입니다.

레오는 전통적인 프로그래밍 언어보다 훨씬 더 복잡합니다. Leo는 하위 수준의 암호화 개념을 추상화하고 프라이빗 애플리케이션을 스택에 쉽게 통합할 수 있도록 지원합니다.

원격 컴파일러 및 정리 생성기를 도입한 최초의 프로그래밍 언어입니다.

Zexe - 분산형 개인 컴퓨팅 활성화 [문서보기]
Marlin - 범용 및 업데이트 가능한 SRS로 zkSNARK 전처리 [문서보기]
Leo - 공식적으로 검증된 영지식 응용 프로그램을 위한 프로그래밍 언어 [문서보기]
포세이돈 - 영지식 증명 시스템을 위한 새로운 해시 함수 [문서보기]
AVM Opcodes - Aleo 가상 머신(AVM) Opcodes [바로가기]

Aleo - 영지식 거래를 위한 소프트웨어 개발 키트(SDK) [바로가기]
Leo - 영지식 응용 프로그램을 위한 기능적 정적 유형 언어 [바로가기]
snarkOS - 영지식 애플리케이션을 위한 분산 운영 체제 [바로가기]
snarkVM - 영지식 실행을 위한 가상 머신 [바로가기]