a16z：약세장에서의 노력은 쉽지 않다. 이 7가지 개발자 도구가 도움이 될 수 있다

출처：a16z

편집：행성일보

오늘 아침, a16z Crypto는 공식 트위터를 통해 이 기관이 자체적으로 구축한 도구와 개념 증명을 공유했습니다. 내용은 제로 지식 증명, 계약 보안, 권력 분산 등 여러 분야를 포함합니다. 객체 측면에서 볼 때, 이러한 도구와 개념은 긴 약세장 동안에도 지치지 않고 일하는 개발자를 주 대상으로 하고 있으며, 관심 있는 분들은 직접 사용해 보시기 바랍니다.

다음은 a16z 트위터의 전체 내용입니다.

우리는 crypto 커뮤니티에서 많은 흥미로운 새로운 아이디어가 등장하는 것을 기쁘게 생각합니다. 다음 트윗에서 여러분이 계속해서 빌드하는 데 도움이 되는 개발 도구를 찾을 수 있습니다.

우리는 이러한 도구와 개념 증명을 공유하는 목적은 커뮤니티에 최신 기술 원시를 개발 및 생산에서 사용하는 방법을 보여주고, 더 많은 개발자의 손을 빌려 이러한 기술 원시의 채택 과정을 가속화하기 위함입니다.

제로 지식 증명 분야

1. zk 문서 (zkDocs)

zkDocs는 제로 지식 증명을 지원하는 온라인 문서 도구로 이해할 수 있습니다. 이는 특정 기준을 노출하지 않고도 정보가 특정 기준을 충족하는지 공동 작업 흐름의 모든 당사자가 집단적으로 공유하고 검증할 수 있도록 합니다.

자세한 내용：https://a 16 zcrypto.com/zkdocs-zero-knowledge-information-sharing/

Github 링크：https://github.com/a 16 z/zkdocs

2. 에어드랍 개인정보 보호 도구 (Privacy-protecting Airdrops)

말 그대로, 이는 에어드랍 상황을 위한 개인정보 보호 도구입니다. 우리는 이 도구를 제로 지식 증명을 활용하여 일반 사용자를 보호하고, 에어드랍 시 개인정보 노출 상황을 개선하여 보안을 높이기 위해 만들었습니다.

자세한 내용：https://a 16 z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/

Github 링크：https://github.com/a 16 z/zkp-merkle-airdrop-contracts

계약 보안 분야

1. ERC 4626 성능 검사기 (ERC 4626 Property Tests)

이는 ERC 4626(토큰화된 금고를 위한 표준) 하의 계약 실행 가능성을 검사하는 도구로, 금고 구축자가 파괴를 초래하거나 취약점을 유발할 수 있는 표준 위반 행동을 감지하는 데 도움을 줍니다.

자세한 내용：https://a 16 zcrypto.com/generalized-property-tests-for-erc 4626-vaults/

Github 링크：https://github.com/a 16 z/erc 4626-tests

2. 변형 가능한 스마트 계약 검사기 (Metamorphic Smart Contract Detector)

이는 변형 가능한 스마트 계약을 감지하는 도구로, 스마트 계약 내용을 변경하여 발생하는 공격을 방어할 수 있습니다.

일부 스마트 계약은 배포 후에도 변경이 가능하여, 개발자가 언제든지 코드 변경이 가능하므로 사용자에게 심각한 위협이 됩니다. 이 도구의 목적은 특정 스마트 계약이 변경 가능성이 있는지 쉽게 감지할 수 있도록 하는 것입니다.

도구 링크：https://metamorphic.a 16 zcrypto.com/

탈중앙화 & 권력 분산

1. 이더리움 경량 클라이언트 Helios

이는 러스트 언어 기반의 이더리움 경량 클라이언트로, 이더리움의 탈중앙화를 더욱 촉진하는 데 도움을 줍니다. Helios는 이더리움 블록체인에 대한 완전한 신뢰 없는 접근을 제공하며, 역사적 거래 정보를 저장할 필요 없이 필요할 때 2초 만에 데이터 접근이 가능합니다.

자세한 내용：https://a 16 zcrypto.com/building-helios-ethereum-light-client/

Github 링크：https://github.com/a 16 z/helios

2. 신뢰 없는 온체인 경매 (Trustless, on-chain Auctions)

이는 "빅리 경매(Vickrey auction)"의 온체인 구현입니다. "빅리 경매"란 모든 입찰자가 봉인된 입찰 방식으로 경매를 진행하며, 가장 높은 입찰자가 경매 물품을 획득하고 두 번째로 높은 입찰가를 지불하는 방식입니다.

이 도구의 기본 원리는 이더리움의 CREATE 2 연산 코드가 경매 내용을 블록체인 활동에 숨길 수 있도록 허용한다는 것입니다.

자세한 내용：https://a 16 zcrypto.com/hidden-in-plain-sight-a-sneaky-solidity-implementation-of-a-sealed-bid-auction/

Github 링크：https://github.com/a 16 z/auction-zoo

3. 신뢰할 수 있는 설정 (Trusted Setups)

우리는 누구나 이더리움 체인에서 Kate-Zaverucha-Goldberg(KZG) 및 powers-of-tau "의식"을 구현할 수 있도록 하는 코드 라이브러리를 오픈 소스화했습니다(행성일보 주: 즉, 신뢰할 수 있는 방식으로 데이터 가용성 증명方案에 필요한 매개변수를 초기화하는 것입니다).

자세한 내용：https://a 16 zcrypto.com/on-chain-trusted-setup-ceremony/

Github 링크：https://github.com/a 16 z/evm-powers-of-tau