zkllvm

ChainCatcher news, ZK technology developer=nil; Foundation announces the launch of a new Type-1 zkEVM, powered by zkLLVM, aimed at enhancing the security of Ethereum scaling. The zkEVM V1 is now open to the public, including a prototype codebase, specifications, and related blog posts.=nil; Utilizing zkLLVM to automatically compile high-level code (such as C++ or Rust) into efficient zk-SNARK circuits, this automated compilation method contrasts with the traditional manual circuit definition approach. =nil; Key features of zkEVM include auditability (the C++ compiled circuit approach is more feasible and cost-effective, making it easier to audit); upgradability (changes to the EVM can easily and automatically recompile the circuit); compatibility (Type-1 bytecode is closest to the C++ version of the Ethereum base execution environment, evmone).According to the crypto data platform RootData, ZK technology developer=nil; Foundation completed a $22 million funding round at a valuation of $220 million in January this year.

ChainCatcher news, the Lido ecosystem organization Lido DAO is funding =nil; Foundation and Metacraft Labs to explore the use of zkLLVM technology for additional soundness and correctness checks on the trustless zk-proof TVL oracle through LEGO (Lido Ecosystem Grants Organisation). This funding aims to build trustless accounting technology, which, if implemented, will serve as an additional check for the oracle without completely replacing the current accounting oracle; it focuses on supporting decentralization and reducing trust in the oracle accounting process, providing better decentralized support for existing protocols.Lido also stated that if zk-proof technology proves to be efficient, secure, and beneficial for the operation of the Lido Protocol oracle accounting, there may be a gradual rollout of broader functionalities across the entire oracle system in the future.

ChainCatcher news, ZK technology developer Nil Foundation announced that the zkOracle circuit built using zkLLVM has been approved for development funding from the Lido ecosystem. The zkOracle circuit, customized according to Lido's requirements, can automatically execute trustless access to historical data within the Ethereum EVM, providing zk-based trustless validity checks for Lido's accounting reports, and improving the stETH reward and issuance mechanisms.According to the introduction, the rewards for Lido staking users are distributed to stETH holders based on regular accounting reports, which reportedly contain information such as the total locked value of the collateral, the number of active/exiting validators, withdrawal and reward balances, etc. If the accounting report (or its validation) is compromised, the reward process will also be affected. Therefore, the report must be as secure as possible, and the zkOracle based on zkLLVM can achieve trustless verification of key parts of the report.

ChainCatcher news, ZK technology developer Nil Foundation has released a new technology called zkLLVM, which enables developers to build zero-knowledge circuits using popular programming languages Rust and C++, thereby reducing workload. LLVM stands for "Low-Level Virtual Machine," referring to a set of open-source code libraries that developers use to "compile" readable code into a format that computers can interpret.It is reported that the zkLLVM project will also automatically integrate with the ZK proof marketplace recently announced by Nil Foundation, which was created to help ZK teams share their workload and outsource certain types of computation to third parties. (Source link)