Ola, 프라이버시 네트워크 Aleo 레코드 유효성 검사에서 취약점 발견, 취약점이 수정됨

프로그래밍 가능한 프라이버시 및 확장 솔루션인 Ola 팀의 개발자인 Payne은 Aleo에서 로직 취약점을 발견하고 Aleo로부터 버그 바운티를 받았다고 트윗했습니다. Payne이 Aleo의 코드를 연구했을 때 사용자가 사용한 레코드의 유효성 검사에 논리적 오류가 있음을 발견했습니다. 동일한 트랜잭션의 이전 계약 실행 중에 사용된 레코드가 생성되면 레코드의 커밋을 사용하여 트랜지션 트리의 리프 노드를 구성해야 하지만 Aleo는 레코드의 일련 번호를 사용하여 리프 노드를 구성합니다. , 이로 인해 거래가 회로 내 확인 실패가 됩니다. 통신 및 확인 후 Aleo 팀은 이 취약점을 수정했습니다. Ola는 프로그래밍 가능한 개인 정보 보호, 프로그래밍 가능한 확장 및 다국어 호환성에 중점을 둔 Sin7y Labs에서 인큐베이팅한 2계층 고성능 ZK-ZKVM 프로젝트입니다. Ola는 2023년 3분기에 내부 테스트넷을 출시하고 연말까지 공개 테스트넷을 출시할 예정입니다.