비탈릭 부테린, 원시 EVM과 Lean 기반 이더리움 연구 새 시대 강조
0
80
0
05-19
비탈릭 부테린은 공식 소프트웨어 검증과 인공지능(AI)의 결합이 고보안 코드 내 치명적 버그를 없앨 수 있다고 주장한다. 이더리움에 특히 중요한 이 문제와 관련해, Arklib와 evm-asm 같은 프로젝트들이 이미 EVM과 STARKs의 공식 검증된 구현을 진행 중이다. AI는 빠른 속도로 코드를 작성하고, 공식 검증은 그 코드의 정확성을 보장한다.
0개의 댓글
| No | 제목 | 작성자 | 조회수 | 추천 | 등록일 |
|---|---|---|---|---|---|
| 제목 | |||||
| 8819 | 65 | 0 | 05-19 10:38 | ||
| 8818 | 70 | 0 | 05-19 10:31 | ||
| 8817 | 56 | 0 | 05-19 10:22 | ||
| 8816 | 70 | 0 | 05-19 10:17 | ||
| 8815 | 73 | 0 | 05-19 09:56 | ||
| 8814 | 75 | 0 | 05-19 09:30 | ||
| 8813 | 72 | 0 | 05-19 09:01 | ||
| 8812 | 77 | 0 | 05-19 07:05 | ||
| 8811 | 69 | 0 | 05-19 06:30 | ||
| 8810 | 80 | 0 | 05-19 05:44 | ||
| 8809 | 74 | 0 | 05-19 05:44 | ||
| 8808 | 70 | 0 | 05-19 05:44 | ||
| 8807 | 71 | 0 | 05-19 04:54 | ||
| 8806 | 58 | 0 | 05-19 04:32 | ||
| 8805 | 67 | 0 | 05-19 03:30 | ||
| 8804 | 77 | 0 | 05-19 03:30 | ||
| 8803 | 64 | 0 | 05-19 03:00 | ||
| 8802 | 79 | 0 | 05-19 02:43 | ||
| 8801 | 64 | 0 | 05-19 02:21 | ||
| 8800 | 68 | 0 | 05-19 01:30 | ||
트럼프, 이란 공격 연기 소식에 비트코인 7만7천 달러 근접 반등
|
|||||
트럼프 지원 미국 비트코인 기업, 분기 8200만 달러 손실에 주가 9% 급락
|
|||||
이더리움, 2,500달러 저항선 못 뚫고 약세 지속
|
|||||
비트코인 강세 유지에도 주요 저항선 아래서 하락 압력 확대
|
|||||
비트마인, 이더리움 보유량 116억 달러로 확대했지만 주가는 하락
|
|||||
바이낸스, 50만 비트코인 거래소 이탈에 공급 부족 신호 감지
|
|||||
비트코인·이더리움·시바이누 등 5월 19일 암호화폐 시장 변동성 재등장
|
|||||
비트코인 하락에 개인 투자자 공포 확산…반등 신호 감지
|
|||||
비트코인 채굴 수익, 난이도 상승에 9.44% 하락
|
|||||
비트코인 디포, 규제 압박에 챕터 11 파산 신청
|
|||||
비트마인, 7만1672 ETH 추가 매수…총 보유량 528만 ETH 돌파
|
|||||
트럼프 경고에 비트코인 7만7천 달러선까지 하락
|
|||||
비트코인 7만7천 달러 아래로 하락 속 HYPE는 강세 유지
|
|||||
클래리티 법안, 스테이블코인 수익 경쟁 막고 서클 USDC 모델에 유리하게 작용
|
|||||
비트코인 7만7천 달러 아래로 하락, 이더리움·XRP·도지코인 최대 4% 급락
|
|||||
트럼프 이란 경고에 비트코인 7만7천 달러 밑으로 급락
|
|||||
테더, 렘파이에 전략적 투자… 스테이블코인 기반 송금 혁신 나선다
|
|||||
|
비탈릭 부테린, 원시 EVM과 Lean 기반 이더리움 연구 새 시대 강조
|
|||||
골드만삭스, 암호화폐 ETF 포트폴리오 대대적 조정
|
|||||
미네소타 주지사, 은행의 비트코인 보관 허용 법안 서명
|
