Repository History
4 repositories tagged with blockchain
Wake: A Python Framework for Secure Solidity Development and Fuzz Testing
Wake is a robust Python-based framework designed for secure Solidity development and comprehensive fuzz testing. It provides built-in vulnerability detectors, helping developers build more secure Ethereum dApps. With features like a VS Code extension and CI/CD integration, Wake streamlines the smart contract development workflow.
CertoraProver: State-of-the-Art Formal Verification for Smart Contracts
The Certora Prover is a leading security tool for automated formal verification of smart contracts. It supports EVM-based chains, Solana, and Stellar, ensuring robust security for decentralized applications. This open-source project, written in Kotlin, provides developers with powerful capabilities to enhance smart contract integrity.
Linera Protocol: Scalable Decentralized Blockchain Infrastructure
Linera Protocol is a cutting-edge decentralized blockchain infrastructure designed for highly scalable, secure, and low-latency Web3 applications. Built primarily with Rust and leveraging WebAssembly, it provides a robust framework for developing next-generation decentralized applications. With a strong focus on performance, Linera aims to address common scalability challenges in the blockchain space.
nexus-zkvm: A Modular and Extensible Zero-Knowledge Virtual Machine
The Nexus zkVM is a zero-knowledge virtual machine developed by nexus-xyz, written in Rust. It emphasizes a modular, extensible, and prover-optimized design, focusing on performance, security, and open science principles. This project aims to provide a transparent and efficient proving mechanism for zero-knowledge applications.