ChainCatcher news, Ola team developer Payne tweeted that a logical vulnerability was discovered in Aleo, and a bug bounty was received from Aleo. Payne found a logical error in the validity check of the record spent by users while studying Aleo's code.When the spent record is generated during the execution of a contract from the previous transaction, the commitment of the record should be used to construct the leaf node of the transition tree, but Aleo used the serial number of the record to construct the leaf node, which would cause the transaction to fail verification in the circuit. After communication, it was confirmed that the Aleo team has fixed this vulnerability.It is reported that Ola is a Layer2 high-performance ZK-ZKVM project incubated by Sin7y Labs, focusing on programmable privacy, programmable scalability, and multi-language compatibility. It is expected to launch an internal testnet in the third quarter of 2023 and a public testnet by the end of the year. (source link)

ChainCatcher message, programmable privacy and scalability solution Ola has released the second version of its technical white paper, dedicated to building a Layer2 ZK-ZKVM platform that integrates privacy, high performance, and programmability, allowing users to truly control the ownership and usage of their personal data. The second version of the white paper emphasizes how to design and build the most important foundational modules in Ola: the high-performance ZKVM, OlaVM; the ZK-friendly smart contract language, Ola-lang; and the privacy design architecture.In addition, Ola has recently launched a brand upgrade plan, with a testnet set to go live within 2023 and the mainnet expected to launch in early 2024. It is reported that Ola is developed by the Sin7y Labs team, focusing on the Layer2 ZK-ZKVM solution. (source link)