영지식 증명 혁신이 등장한 이유는 무엇일까요?

저자: LambdaClass; 번역: mutourend; Yiping, IOSG Ventures

1부 인사이트

Zero Knowledge 오래 지속되는 혁신이 등장하는 이유는 무엇일까요?

원본 게시처: https://blog.lambdaclass.com/our-highly-subjective-view-on-the-history-of-zero- 지식 증명/

1. 소개

영지식, 간결하고 비대화형 지식 증명( zk-SNARKs)은 증명자가 진술 이외의 정보를 공개하지 않고도 특정 진술의 정확성을 검증자에게 확신시킬 수 있는 강력한 암호화 프리미티브입니다. 검증 가능한 개인 연산, 컴퓨터 프로그램 실행의 정확성 증명, 블록체인 확장에 적용되어 많은 관심을 받아왔습니다. 저희는 기사에서 설명한 것처럼 zk-SNARK가 세상을 형성하는 데 큰 영향을 미칠 것이라고 믿습니다. zk-SNARK는 다양한 다항식 약속 체계, 산술화 체계, 대화형 예측자 증명 또는 확률적 테스트 가능 증명을 사용하는 다양한 유형의 증명 시스템을 다룹니다. 그러나 기본적인 아이디어와 개념은 1980년대 중반으로 거슬러 올라갑니다. 비트코인과 이더리움이 출시된 이후, 특정 사용 사례의 유효성 증명이라고도 하는 영지식 증명을 사용해 확장할 수 있는 zk-SNARK의 개발이 크게 가속화되었습니다. zk-SNARK는 블록체인 확장성에서 중요한 역할을 합니다. 벤 사손이 설명했듯이, 최근 몇 년 동안 암호학적 증명이 캄브리아기 수준으로 폭발적으로 증가했습니다. 각 증명 시스템에는 장단점이 있으며, 특정 절충점을 염두에 두고 설계되었습니다. 하드웨어, 알고리즘, 새로운 증명 및 도구의 발전은 계속해서 성능을 개선하고 새로운 시스템을 탄생시켰습니다. 이러한 시스템 중 다수는 이미 사용되고 있으며 계속해서 그 한계를 넓혀가고 있습니다. 모든 애플리케이션을 위한 범용 증명 시스템이 존재할까요, 아니면 다양한 요구에 맞는 여러 시스템이 존재할까요? 저희는 다음과 같은 여러 가지 이유로 하나의 증명 시스템이 다른 모든 시스템을 지배할 가능성은 거의 없다고 생각합니다.

1) 애플리케이션의 다양성.

2) 다양한 유형의 제약 조건(메모리, 유효성 검사 기간, 증명 기간).

3) 견고성의 필요성(하나의 증명 시스템이 고장나면 다른 시스템도 고장납니다).

증명 시스템은 크게 변화했지만, 모두 중요한 속성을 제공합니다. 증명은 빠르게 검증할 수 있다는 것입니다. 증명을 검증하고 새로운 증명 시스템에 쉽게 적응할 수 있는 레이어가 있으면 기본 레이어(예: 이더리움) 변경과 관련된 어려움을 해결할 수 있습니다. 이 백서에서는 SNARK의 다양한 기능에 대해 간략히 설명합니다.

1) 암호화 가정: 충돌 방지 해시 함수, 타원 곡선의 이산 로그 퍼즐, 지수에 대한 지식.

2) 투명한 설정 대 신뢰할 수 있는 설정.

3) 증명 길이: 선형 대 초선형.

4) 증명 시간: 상수 시간, 로그, 서브선형, 선형.

5) 증명 크기

6) 쉬운 재귀.

7) 산술화 방식.

8) 단변량 다항식 대 다변량 다항식.

이 백서에서는 SNARK의 기원과 몇 가지 기본 구성 요소, 다양한 증명 체계의 발전(및 쇠퇴)을 살펴봅니다. 이 백서의 의도는 증명 시스템에 대한 철저한 분석을 제공하는 것이 아닙니다. 대신, 우리에게 영향을 준 시스템에만 초점을 맞추고자 합니다. 물론 이러한 발전은 해당 분야의 선구자들의 위대한 업적과 아이디어가 있었기에 가능했습니다.

2. 기초

영지식 증명은 새로운 것이 아닙니다. 정의, 기초, 중요한 정리, 심지어 중요한 프로토콜까지 1980년대 중반부터 개발되어 왔습니다. 현대 SNARK를 구축하는 데 사용된 주요 아이디어와 프로토콜 중 일부는 비트코인(2007년 GKR)이 등장하기 전인 1990년대(합계 확인 프로토콜)에도 제안되었습니다. 당시에는 강력한 사용 사례의 부족(1990년대에는 인터넷이 잘 발달하지 않았음)과 필요한 컴퓨팅 파워가 주요 문제였습니다.

1) 영지식 증명: 기원(1985/1989).

영지식 증명 분야는 골드바서, 미칼리, 라코프의 논문 "대화형 증명 시스템의 지식 복잡성"을 통해 학술 문헌에 등장했습니다. 영지식 증명의 기원에 대한 논의는 2023년 1월 동영상 ZKP MOOC 강의 1: 영지식 증명의 소개와 역사에서 확인할 수 있습니다. 이 논문에서는 완전 다중성, 신뢰성, 영지식 증명의 개념을 소개하고 이차 잔류성과 이차 비잔류성에 대한 구성을 제공합니다. 잔류성 구조.

2) Sumcheck 프로토콜(1992).

합체크 프로토콜은 1992년 대화형 증명 시스템을 위한 대수적 방법 논문에서 룬드, 포트나우, 칼로프, 니산에 의해 제안되었습니다. 이는 간결한 대화형 증명을 위한 가장 중요한 구성 요소 중 하나입니다. 다변량 다항식 평가를 무작위로 선택한 지점에서 단일 평가로 합산해야 하는 필요성을 줄이는 데 도움이 됩니다.

3) Goldwasser-Kalai-Rothblum(GKR)(2007).

(계산 위임: 머글을 위한 대화형 증명 논문 참조) GKR 프로토콜은 회로의 게이트 수에 따라 증명자는 선형적으로 실행되고 검증자는 회로의 크기에 따라 비선형적으로 실행되는 대화형 프로토콜입니다. 작동합니다. 이 프로토콜에서 증명자와 검증자는 깊이가 dd인 유한 영역의 팬 인 투 산술 회로에 동의합니다. 여기서 레이어 dd는 입력 레이어에 해당하고 레이어 0 00은 출력 레이어에 해당합니다. 프로토콜은 회로의 출력에 대한 진술로 시작하여 이전 레이어의 값에 대한 진술로 축소됩니다. 재귀를 사용하면 이를 회로의 입력에 대한 선언으로 변환할 수 있으며, 이를 쉽게 확인할 수 있습니다. 이러한 감소는 합계 확인 프로토콜을 사용하여 구현됩니다.

4) KZG 다항식 약속 체계(2010).

2010년 케이트, 자베루차, 골드버그는 '다항식에 대한 상수 크기 커미트먼트와 그 응용'에서 이선형 쌍 그룹을 사용하는 다항식 커미트먼트 체계를 소개했습니다. 커밋은 단일 그룹 요소로 구성되며, 커밋자는 다항식의 올바른 평가에 대해 효과적으로 커밋을 열 수 있습니다. 또한 일괄 처리 기법 덕분에 여러 평가를 열 수 있으며, KZG 커미티는 피노키오, Groth16, Plonk 등 여러 효율적인 SNARK의 기본 빌딩 블록 중 하나를 제공하며, 이는 EIP-4844의 핵심이기도 합니다. 배치 기법을 시각화하려면 미나와 이더리움 ZK 브리지를 참조하세요.

3. 타원 곡선을 사용한 실용적인 SNARK

스나크의 실용적인 구조는 2013년에 처음 등장했습니다. 이러한 구조는 증명 및 검증 키를 생성하기 위한 전처리 단계가 필요하며 프로그램/회로별로 다릅니다. 이러한 키는 매우 클 수 있고 당사자가 알 수 없는 비밀 매개변수에 의존할 수 있으며, 그렇지 않으면 증명이 위조될 수 있습니다. 코드를 증명 가능한 코드로 변환하려면 코드를 다항식 제약 시스템으로 컴파일해야 합니다. 초기에는 이 작업을 수동으로 수행해야 했기 때문에 시간이 오래 걸리고 오류가 발생하기 쉬웠습니다. 이 분야의 발전은 몇 가지 주요 문제를 제거하기 위해 시도되었습니다.

1) 보다 효율적인 증명자 보유.

2) 전처리량 감소.

3) 회로별 설정이 아닌 일반 설정을 사용합니다.

4) 신뢰할 수 있는 설정을 피합니다.

5) 다항식 제약 조건을 수동으로 작성하는 대신 고급 언어를 사용하여 회로를 설명하는 방법을 개발합니다.

현재 타원 곡선을 사용하는 실용적인 SNARK 방식은 다음과 같습니다.

1) 피노키오(2013)

2) 그로스 16 (2016)

3) 방탄복 및 IPA (2016)

4) 소닉, 말린, 플롱크 (2019)

5) 룩업 (2018/2020)

6) 스파르탄 (2019)

. 왼쪽;">7) 하이퍼플롱크(2022)

8) 폴딩 스키마(2008/2021)

3.1. 피노키오(피노키오: 거의 실용적인 검증 가능한 계산 논문 참조)

피노키오는 실용적이고 사용 가능한 최초의 zk-. SNARK는 이차 산술 프로그램(QAP)을 기반으로 합니다. 증명 크기는 처음에 288바이트입니다. 피노키오의 툴체인은 C 코드에서 산술 회로, 더 나아가 QAP에 이르는 컴파일러를 제공합니다. 프로토콜은 검증자가 회로별 키를 생성하도록 요구합니다. 이 프로토콜은 타원 곡선 쌍을 사용하여 방정식을 확인합니다. 증명 생성 및 키 설정에 필요한 점근은 계산의 크기와 선형 관계에 있으며, 검증의 길이는 공통 입력과 출력의 크기와 선형 관계에 있습니다.

3.2 Groth 16 (2016)

그루스 2016 논문에서는 페어링의 크기에 대해 설명합니다. 기반 비대화형 인수에 관한 논문은 R1CS로 설명되는 문제의 성능을 향상시키는 새로운 지식 인수를 소개합니다. 이 논증은 최소한의 증명 크기(그룹 요소 3개만)와 세 개의 페어링을 포함하는 빠른 검증을 제공합니다. 또한 구조화된 참조 문자열을 얻기 위한 전처리 단계가 포함됩니다. 주요 단점은 증명할 프로그램마다 다른 신뢰할 수 있는 설정이 필요하다는 점이며, 이는 불편하다는 점입니다. 자세한 내용은 블로그 Groth 16 증명 시스템 개요를 참조하세요.

3.3 방탄 및 IPA (2016)

KZG PCS의 약점 중 하나는 그럴듯한 설정이 필요하다는 것입니다.부틀 외 2016 효율적인 영지식 이산 로그 설정의 산술 회로에 대한 인수 논문에서는 내부 곱(내적 곱) 관계를 만족하는 Pedersen 약속 개구부에 대한 효율적인 영지식 인수 시스템을 소개합니다. 내적 곱 증명 시스템은 대수적 통신과 상호 작용이 가능하지만 선형 시간 길이 검증이 가능한 선형 증명자를 갖추고 있습니다. 또한 그럴듯한 설정이 필요 없는 다항식 약속 체계를 개발했습니다. Halo 2와 김치 모두 IPA PCS 아이디어를 채택했습니다.

3.4 소닉, 말린, 플롱크(2019)

소닉, 플롱크, 말린은 다음을 채택합니다. Groth16에서 각 프로그램에 대한 신뢰할 수 있는 설정 문제를 해결하는 일반적이고 업데이트 가능한 구조화된 참조 문자열을 도입했습니다.Marlin은 Aleo의 핵심인 R1CS에 기반한 증명 시스템을 제공합니다.

플롱크는 새로운 산술화 체계(나중에 플롱키시라고 알려짐)와 복사 제약 조건에 대한 그랜드 프로덕트 검사 사용을 도입했습니다.플롱키시는 또한 특정 연산을 위한 특수 게이트, 즉 사용자 정의로 알려진 게이트. 사용자 지정 버전의 Plonk는 Aztec, ZK-Sync, Polygon ZKEVM, 미나의 김치, Plonky2, Halo 2 및 Scroll 등 여러 프로젝트에서 사용할 수 있습니다. 플롱크에 대해 알고 싶었던 모든 것 블로그를 참조하세요.

3.5 룩업(2018/2020)

가비존과 윌리엄슨은 2020년에 그랜드 프로덕트 검사를 사용하여 값이 미리 계산된 값 테이블에 포함되어 있음을 증명하는 룩업을 도입했습니다. 룩업 인수는 이전에 Arya에서 제안되었지만, 그 구조는 룩업의 다중성을 결정해야 하므로 효율성이 떨어집니다. PlonkUp 논문은 Plonk에 룩업 인수를 도입하는 방법을 보여줍니다. 이러한 룩업 인수의 문제는 증명자에게 증명자가 조회 횟수와 관계없이 전체 테이블에 대한 비용을 지불해야 한다는 것입니다. 즉, 큰 테이블은 비용이 상당히 많이 들며, 증명자가 사용하는 조회 횟수만큼 비용을 줄이기 위해 많은 노력을 기울여 왔습니다.

하뵈크는 로그 도함수를 사용해 제품 확인을 역의 합으로 변환하는 LogUp을 도입했습니다.LogUp은 폴리곤 플론키2 ZKEVM(한계를 넘어서: ZK의 경계를 넓히다. -EVM)의 성능에 중요하며, 이를 위해서는 전체 테이블을 여러 개의 STARK 모듈로 분할해야 합니다. 이 작업을 개선하려면 이러한 모듈을 적절히 연결하고 테이블 간에 조회해야 합니다.LogUp-GKR의 도입은 GKR 프로토콜을 활용하여 LogUp의 성능을 개선합니다.Caulk는 증명자 시간이 테이블 크기에 따라 비선형이고 전처리 시간이 ‍O( N 로그 N)이고 저장소는 O ( N )이며, 여기서 N은 테이블 크기입니다. Baloo, lookup, cq, caulk+와 같은 다른 여러 스키마가 이어졌습니다. 올가미는 테이블이 주어진 구조를 가질 때 커밋을 피하기 위해 몇 가지 개선 사항을 제안했습니다. 또한 올가미의 증명자 는 조회 연산으로 액세스한 테이블 항목에 대해서만 비용을 지불하며, Jolt는 올가미를 사용하여 조회를 통해 가상 머신의 실행을 증명합니다.

3.6 Spartan (2019)

Spartan은 다변량 다항식을 활용하여 R1CS로 기술된 회로에 대한 IOP를 제공하며, 다변량 다항식과 속성을 활용합니다. 적절한 다항식 커미트먼트 체계를 사용하여 선형 지속 시간 증명자와 함께 투명한 SNARK를 생성합니다.

3.7 HyperPlonk (2022)

하이퍼플롱크는 다변량 다항식을 사용한다는 플롱크 아이디어를 기반으로 합니다. 제약 조건의 실행을 확인하기 위해 지수에 의존하는 대신 합계 확인 프로토콜을 사용합니다. 또한 증명자의 런타임에 영향을 주지 않으면서 고차 제약 조건을 지원합니다. 다변량 다항식에 의존하기 때문에 FFT를 수행할 필요가 없으며 증명자의 런타임은 회로 크기에 따라 선형적이며, HyperPlonk은 작은 도메인을 위한 새로운 순열 IOP와 sumcheck 기반의 일괄 개방 프로토콜을 도입하여 증명자의 작업 부하, 증명 크기 및 검증자의 시간을 줄입니다. .

3.8 폴딩 체계 (2008/2021)

노바는 다음과 같은 폴딩 체계 개념을 도입합니다. 증분 검증 가능 컴퓨팅(IVC)을 구현하는 새로운 방법으로, 길이 kkk의 두 증명을 하나의 길이 kkk의 증명으로 결합하는 방법을 보여준 Valiant로 거슬러 올라가는 개념입니다. 이 개념은 재귀 증명을 사용해 1단계 i ii에서 1단계 i + 1 i+1i+1까지의 실행이 올바른지 증명하고, 1단계 i - 1 i-1i-1에서 1단계 i ii까지의 전이 증명이 올바른지 검증하여 모든 장기 실행 연산을 증명할 수 있다는 것입니다.

Nova는 균일한 계산에 잘 작동하며, 나중에 R1CS의 완화된 버전을 사용하고 친숙한 타원 곡선에서 작동하는 Supernova가 도입되면서 다양한 유형의 회로를 처리할 수 있도록 확장되었습니다. IVC에 친숙한 커브 사이클(예: 파스타 커브)을 사용하는 것은 미나의 기본 모듈인 피클스에서도 깔끔한 상태를 얻기 위해 사용되었습니다. 그러나 폴딩의 개념은 재귀적 SNARK 검증과는 다릅니다. 어큐뮬레이터의 개념은 일괄 증명 개념과 더 깊은 관련이 있으며, Halo는 재귀 증명 조합의 대안으로 어큐뮬레이션 개념을 도입했고, Protostar는 고차 게이트와 벡터 조회를 지원하는 Plonk용 비균일 IVC 체계를 제공합니다.

4. 충돌 방지 해시 함수를 갖춘 SNARK

피노키오 개발과 거의 동시에, 회로/산술 체계를 생성하기 위한 아이디어가 등장했습니다. 가상 머신 실행의 정확성을 증명할 수 있는 회로/산술 체계를 생성하는 아이디어가 떠올랐습니다. 가상 머신을 위한 연산을 개발하는 것이 일부 프로그램을 위한 전용 회로를 작성하는 것보다 더 복잡하거나 덜 효율적일 수 있지만, 아무리 복잡한 프로그램이라도 가상 머신에서 올바르게 실행된다는 것을 보여줌으로써 증명할 수 있다는 장점이 있었습니다.TinyRAM의 아이디어는 이후 Cairo vm 및 후속 가상 머신(zk-evms 또는 범용 zkvms와 같은)으로 설계되었습니다. 개선. 충돌 방지 해시 함수를 사용함으로써 그럴듯한 설정이나 타원 곡선 산술의 사용이 필요하지 않게 되었지만, 증명이 더 길어졌습니다.

1) TinyRAM(2013)

에서 SNARKs. 의 경우, TinyRAM(Thin Instruction Set Computer)에 컴파일된 C 프로그램의 실행 정확성을 증명하기 위해 PCP 기반 SNARK가 개발되었습니다. 이 컴퓨터는 바이트 수준의 주소 지정이 가능한 랜덤 액세스 메모리를 갖춘 하버드 아키텍처를 사용합니다. 비결정성을 사용하여 회로의 크기가 계산의 크기와 유사하게 준선형적이므로 임의의 데이터 종속 루프, 제어 흐름 및 메모리 액세스를 효율적으로 처리할 수 있습니다.

2) STARKs(2018)

• STARKs는 Ben Sasson et al. 2018년에 제안되었습니다. 증명 크기는 O(log2n)이며 빠른 증명자와 검증자가 있고, 신뢰할 수 있는 설정이 필요하지 않으며, 포스트 퀀텀 보안으로 간주됩니다. 스타크웨어/스타크넷에서 카이로 가상 머신과 함께 처음 사용되었습니다. 주요 구성 요소는 다음과 같습니다.

• 대수적 중간 표현(AIR)

• 그리고 FRI 프로토콜(Fast Reed-Solomon 대화형 오라클 근접성 증명).

스타크는 다른 프로젝트(Polygon Miden, Risc0, Winterfell, Neptune)에서도 사용되었거나 이를 일부 변형(ZK-Sync의 Boojum, Plonky2, 스타키).

3) Ligero (2017)

• Ligero는 증명 시스템을 도입하여 증명 크기 O(root n)의 증명 시스템을 도입했습니다. 다항식 계수를 행렬 형태로 배열하고 선형 코드 선형 코드를 사용합니다.

• Brakedown은 Ligero의 작업을 기반으로 하여 도메인 독립적 다항식 커밋 체계라는 개념을 도입했습니다.

5. ZKP의 새로운 발전

생산 과정에서 다양한 증명 시스템을 사용하면서 각 접근법의 장점이 드러났고, 새로운 개발로 이어졌습니다. 개발이 이루어졌습니다. 예를 들어, 플롱키 산술화는 사용자 정의 게이트와 조회 인수를 쉽게 포함할 수 있는 방법을 제공하며, PCS로서의 FRI는 플롱키보다 뛰어난 성능을 보여줍니다. 마찬가지로, AIR에서 그랜드 제품 검사(전처리를 통해 무작위화된 AIR로 연결)를 사용하면 성능이 향상되고 메모리가 단순화됩니다. 하드웨어의 해시 함수 속도 또는 새로운 SNARK 친화적인 해시 함수의 도입으로 인해 해시 기반 프로미스가 인기를 끌고 있습니다.

1) 새로운 다항식 커미트먼트 체계(2023)

스파르탄이나 하이퍼플롱크와 같은 다변량 다항식 기반의 효율적인 SNARK가 등장하면서 이러한 유형의 다항식에 적합한 새로운 커미트먼트 체계에 대한 관심이 증가하고 있습니다. 다항식에 대한 새로운 커미트먼트 체계에 대한 관심이 증가하고 있습니다. Binius, Zeromorph, Basefold는 모두 다선형 다항식에 대한 커미트먼트를 위한 새로운 형태를 제안했습니다.Binius는 제로 오버헤드(많은 증명 시스템이 단일 비트를 표현하기 위해 최소 32비트 도메인 요소를 사용하는 반면)로 데이터 유형을 표현하고 이진 도메인에서 작동한다는 장점이 있습니다. 도메인 독립적으로 설계된 브레이크다운을 기반으로 합니다. 베이스폴드는 FRI를 리드-솔로몬 이외의 코드로 확장하여 도메인 독립적인 PCS를 만듭니다.

2) 사용자 정의 가능한 제약 조건 시스템(CCS)(2023)

CCS는 R1CS를 일반화하여 오버헤드 없이 R1CS, Plonkish 및 AIR 산술을 동시에 캡처합니다. CCS와 스파르탄 IOP를 결합하면 증명자가 제약 정도에 따라 확장되는 암호화 비용을 들이지 않고도 높은 수준의 제약 조건을 지원하는 SuperSpartan이 탄생합니다. 특히 슈퍼스파르탄은 선형 시간 증명자를 사용하여 AIR용 SNARK를 생성합니다.

6. 결론

이 백서에서는 다음과 같은 방법을 설명합니다. 1980년대 중반 도입 이후 SNARK의 발전 과정을 설명합니다. 컴퓨터 과학, 수학, 하드웨어의 발전과 블록체인의 도입은 새롭고 더 효율적인 SNARK를 탄생시켰고, 우리 사회를 변화시킬 수 있는 많은 애플리케이션의 문을 열었습니다. 연구자와 엔지니어들은 증명 크기, 메모리 사용량, 투명한 설정, 양자 이후 보안, 증명자 시간, 검증자 시간 등에 초점을 맞춰 필요에 따라 SNARK를 개선하고 조정할 것을 제안했습니다.

초기에는 두 가지 주요 스레드(SNARK와 STARK)가 있었지만, 서로 다른 증명 시스템의 강점을 결합하려는 시도가 이루어지면서 둘 사이의 경계가 희미해지기 시작했습니다. 예를 들어, 서로 다른 산술 체계와 새로운 다항식 커미트먼트 체계를 결합하는 것이 그 예입니다. 새로운 증명 시스템이 계속 등장하고 성능이 향상될 것으로 예상되며, 일부 핵심 인프라를 변경하지 않고도 도구를 쉽게 사용할 수 없다면 적응하는 데 시간이 필요한 일부 시스템은 이러한 발전을 따라잡기 어려울 것입니다.

파트.2 이벤트에 투자하기

Web3 디지털 아이덴티티 스타트업 메트로폴리스, 120만 달러 규모의 펀딩 라운드 마감

* SocialFi. /p>

웹3 디지털 신원 스타트업 메트로폴리스, 코인텔레그래프 액셀러레이터, 라미나1 에코시스템 펀드, ACS, 아웃라이어 벤처스와 함께 120만 달러 투자 라운드 발표 , 프로토콜 랩스, 프라임 캐피탈, 제피러스 캐피탈, 클러스터 캐피탈, 이더리자드, 아카시아 디지털, 블록 컨설트, IBC 및 다수의 전략적 엔젤 투자자들이 참여했습니다. 메트로폴리스는 곧 퍼블릭 토큰 세일을 진행하고 토큰 이코노미 및 제품 개발 로드맵을 발표할 것으로 알려졌습니다.

DePIN 인프라 DePHY, 시드 라운드 마감

* DePIN

DePIN 인프라 DePHY, 4천만 달러 규모의 시드 라운드 마감.블록체인 빌더스 펀드, 이번 라운드에는 포사이트 벤처스, IoTeX, 파라미타, 퓨처머니그룹, 워터드립 캐피탈, 디팬스엑스, 파카, 칸닥 핀테크 그룹이 참여했으며, 조달된 자금은 개발자 커뮤니티와 플랫폼 프로젝트의 확장 및 운영을 위해 사용될 예정입니다. 또한, DePHY는 솔라나에 신뢰할 수 있는 DID(탈중앙화 디바이스 신원) 솔루션을 구축할 예정이며, 최근 솔라나 재단으로부터 보조금을 수여받았습니다.

이더리움 스테이블코인 개발사인 이더랩스는 1,400만 달러 규모의 전략적 라운드를 마감했습니다

* Stablecoins. strong>* 스테이블코인

이더리움 스테이블코인 USDe의 개발사인 이더랩스가 1400만 달러의 전략적 펀딩을 완료했으며, 투자 후 평가액은 3억 달러에 달한다고 발표했습니다. 이번 라운드에는 드래곤플라이, 브레반 하워드 디지털, 비트멕스 설립자 아서 헤이즈의 패밀리 오피스인 메이스트롬이 페이팔 벤처스, 프랭클린 템플턴, 에이본 벤처스, 바이낸스와 함께 공동 주도했습니다, 데리비트, 제미니, 크라켄 등이 참여했습니다. 펀딩 라운드는 작년 12월 말에 시작되어 이번 주에 마감되었습니다. 이전 소식에 따르면, 에테나는 지난해 600만 달러 규모의 시드 라운드를 마감했으며, 헤이즈는 에테나의 창립 고문이기도 한 패밀리 오피스 Maelstrom을 통해 투자에 참여했습니다.

암호화폐 결제 플랫폼 KeynesPay, 550만 달러 규모의 프리 시드 라운드 마감

.... strong>* DeFi

디지털 자산 금융 서비스 그룹인 케인즈 그룹은 자사의 제3자 결제 플랫폼인 케인즈페이가 550만 달러 규모의 투자 유치를 마감했다고 발표했습니다. 투자 전 평가액 5천만 달러 이상의 프리 시드 라운드 자금 조달을 완료했습니다. 추가 투자자로는 대형 기관 투자자, Web3 조직 및 전략적 파트너가 참여했습니다. 이번 자금 조달은 가상자산 업계에서 케인즈페이의 결제 생태계를 심화시키고, 결제 라이선스 비즈니스 제품의 다각화를 가속화하며, 그룹의 규정 준수와 글로벌 규모의 혁신 개발을 추진하는 데 사용될 것입니다. 케인스 그룹의 핵심 사업으로는 블록체인 기술 및 디지털 자산 투자를 전문으로 하는 글로벌 자산 관리 회사 케인스 캐피털, 글로벌 비트코인 채굴 장비 서비스 제공 업체 케인스 풀, 온체인 소셜 플랫폼 케챗, 웹3 글로벌 교육 플랫폼이자 소셜 네트워크인 케인스 IE 등이 있다고 합니다.

style="text-align: 왼쪽;">웹3의 데이터 분석 및 인프라 서비스 회사인 헬리카, 800만 달러 규모의 시리즈 A 투자 유치

. strong>* Infra

전통 게임 및 웹3.0 게임을 위한 데이터 분석 및 인프라 서비스를 제공하는 기업 Helika가 800만 달러 규모의 시리즈 A 투자 라운드를 마감했다고 발표했습니다. 판테라, 애니모카, 다이어그램, 스페르미온 등이 투자한 헬리카의 AI 기반 제품 및 서비스 제품군은 여러 체인, 소셜 미디어, 게임 전반에 걸쳐 데이터를 통합하고 이를 게임 스튜디오가 사용자 확보, 유지, 참여를 개선하는 데 사용할 수 있는 실행 가능한 인사이트로 전환함으로써 수익성 있는 성장을 이끌고 있습니다.

블루프린트 파이낸스, 해시드 및 트라이브 캐피탈 주도로 750만 달러 규모의 펀딩 라운드 마감

< strong>* 프로토콜

온체인 신용 프로토콜인 블루프린트 파이낸스가 750만 달러의 펀딩을 마감했다고 발표했습니다. 해시드와 트라이브 캐피털이 주도하는 750만 달러 규모의 펀딩 라운드에 SALT, 카이버, 하이퍼스피어, 라이트시프트, 어썸피플벤처스, 베리스벤처스, 크로노스 리서치, WW벤처스 등이 참여했습니다, 눈사태 재단, 테라 노바, 하이퍼리듬. 암호화폐 시장의 청산 문제를 해결하는 것을 목표로 하는 블루프린트 파이낸스의 주력 제품은 온체인 부채 및 신용을 위해 특별히 설계된 애플리케이션 체인인 콘크리트 프로토콜로, 암호화폐 시장을 시작으로 디파이 전반에 걸쳐 더 높은 수익률, 청산 보호, 고급 예측 기능을 제공하는 것을 목표로 합니다.

모듈형 블록체인 라바 네트워크, 1,500만 달러 규모의 시드 라운드 마감

< strong>* 인프라

모듈형 블록체인 인프라 개발사인 라바 네트워크가 점프 캐피털, 해시키 캐피털, 트리니티 캐피털과 함께 1500만 달러 규모의 시드 라운드 투자를 마감했다. , 해시키 캐피탈, 트라이브 캐피탈이 공동 주도하고 노스 아일랜드 벤처스, 디스커버리 캐피탈, 얼라이언스 DAO, 파이널리티 캐피탈 파트너스 등이 참여한 이번 라운드에 참여했습니다. 셀레스티아, 코스모스, 스타크웨어, 파일코인 및 기타 블록체인 생태계의 임원들도 이번 라운드에 참여했으며, 라바는 올해 상반기에 메인넷을 출시할 계획입니다. 라바는 현재 26명의 직원을 보유하고 있으며, 이 중 20명이 블록체인 엔지니어입니다.

체인 게임 스튜디오 오버월드, 해시드 등이 주도한 1,000만 달러 규모의 시드 라운드 마감

세계 최대 블록체인 생태계인 Lava의 출시가 큰 성공을 거뒀다. strong>* GameFi

체인플레이 스튜디오 오버월드가 오늘 시드 펀딩 라운드에서 천만 달러의 자금을 조달했다고 발표했습니다. 해시드, 스파르탄 그룹, 샌터 캐피털, 갤럭시 인터랙티브가 주요 투자자로 참여했으며 해시키, 빅 브레인 홀딩스, 포사이트 벤처스도 함께했습니다. 투자금은 게임 제작에 직접 사용될 예정이며, 오버월드는 현재 스튜디오에서 여러 직책을 채용하고 있습니다. 이 스튜디오는 엑스테리오 토큰으로 운영되며 애니메이션 스타일의 아트워크가 특징인 웹3 무료 액션 롤플레잉 게임인 가칭 오버월드를 개발 중입니다.

웹3 게임 플랫폼 Ultiverse, IDG Capital이 주도하는 400만 달러 규모의 전략적 라운드 마감

* GameFi

웹3 게임 제작 및 퍼블리싱을 위한 AI 기반 원스톱 플랫폼인 Ultiverse가 IDG Capital이 주도하는 400만 달러 규모의 전략적 IDG Capital이 주도하고 Animoca Brands, Polygon Ventures, MorningStar Ventures, Taiko, ZetaChain, Manta Network, DWF Ventures, Jacob KO(Superscrypt 파트너)가 참여한 라운드에 참여했습니다. 얼티버스는 게임, 기술 및 블록체인 프로젝트 전문가들로 구성된 팀과 함께 AI 기반 웹3.0 게임 제작 및 배포를 위한 원스톱 플랫폼으로 2022년에 설립되었습니다. 2023년 12월 현재 Ultiverse는 730만 명 이상의 등록 사용자와 83만 명 이상의 월간 활성 사용자를 보유하고 있습니다. 지난 라운드에는 바이낸스 랩스, 세쿼이아 캐피탈, 디파이언스 캐피탈, 에미레이트 컨소시엄, 모닝스타 벤처스, GSR 벤처스, 포사이트 벤처스 등이 투자했으며, 투자 후 기업 가치는 1억 5천만 달러로 평가되었습니다.

파트.3 IOSG의 투자 후 프로젝트 진행 상황

코인베이스, 비트코인 핵심 개발 조직 브링크에 360만 달러 기부

< strong>* DEX

비트코인 코어 개발 조직인 브링크가 360만 달러를 기부했다고 밝혔다

암호화폐 거래 플랫폼 코인베이스의 결제 플랫폼인 기브크립토에 360만 달러를 기부했으며, 이는 전적으로 브링크의 엔지니어와 오픈소스 비트코인 개발 작업을 위해 사용될 예정입니다.

파일코인, 솔라나와의 통합 발표

strong>* 인프라

파일코인이 오늘 트윗을 통해 솔라나와의 통합을 발표했습니다. 중앙화된 스토리지 솔루션에서 벗어나 솔라나 블록체인의 안정성과 확장성을 높이기 위해 설계된 통합으로, 솔라나는 인프라 제공자, 탐색기, 인덱서 및 기록 액세스가 필요한 모든 사용자가 블록 기록에 쉽게 액세스하고 사용할 수 있도록 Filecoin을 활용하고 있습니다.

오프체인 랩스가 Arbitrum 커뮤니티에서 ArbOS 20 Atlas AIP 제안 투표를 오픈했습니다

< strong>

아비트럼 개발사인 오프체인 랩스는 ArbOS를 아틀라스 커뮤니티에 제출했다고 발표했습니다. 제출했으며, 3월 1일에 투표가 마감되는 EIP-4844를 포함한 이더리움 덴쿤과 대량 포스터 개선을 지원하는 ArbOS 20 아틀라스 AIP 제안에 대한 온체인 투표를 시작했다고 발표했습니다.

스택 총 락업 가치 1억 달러 돌파

. strong>* 결제

비트코인 레이어2 네트워크 스택은 트위터를 통해 총 가치 고정(TVL)이 1억 달러를 돌파하여 현재 1억 1,200만 달러에 달한다고 발표했습니다.

싱크스왑, ERC-721 NFT 및 ERC404 토큰 스왑을 위한 zkSync 기반 404 래퍼 출시

SyncSwap, ERC-721 NFT 및 ERC404 토큰 스왑을 위한 zkSync 기반 404 래퍼 출시

* Layer2

zkSync 기반 탈중앙화 거래 플랫폼인 싱크스왑은 ERC404에서 영감을 받은 싱크스왑 404 래퍼를 출시하여 기존 ERC-721 NFT를 ERC404 대체 가능한 캡슐화 토큰으로 캡슐화할 수 있게 되었습니다. 404 래퍼는 다음과 같습니다. 라이선스 없이 오픈소스 기반으로 운영되는 싱크스왑의 공개 제품으로, NFT 캡슐화 및 캡슐화 해제에 대한 수수료가 없으며, 리베르타스 옴니버스는 zkSync 팀의 실험적인 NFT 프로젝트입니다.

Mina: 거래소 및 커스터디언과 함께 메인넷 업그레이드 비공개 베타 테스트 진행

Mina: 거래소 및 커스터디언과 메인넷 업그레이드 비공개 베타 테스트 진행 중