Search Results for "c:\program files\micronetics\msmws\program\"

x
Sort By:

Showing 2 open source projects for "c:\program files\micronetics\msmws\program\"

View related business solutions
Smart Contract Linux Clear Filters & Widen Search
  • Get full visibility and control over your tasks and projects with Wrike. Icon
    Get full visibility and control over your tasks and projects with Wrike.

    A cloud-based collaboration, work management, and project management software

    Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
    Learn More
  • MATRIX is a world-class, award-winning learning management system (LMS) for businesses. Icon
    MATRIX is a world-class, award-winning learning management system (LMS) for businesses.

    For small, medium, and large sized corporations, as well as associations and public organizations

    The platform is known for delivering a great user experience, while incorporating all the essential tools companies need to support efficient training and learning.
    Learn More
  • 1
    Echidna

    Echidna

    Ethereum smart contract fuzzer

    Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. ...
    Downloads: 49 This Week
    Last Update:
    See Project
  • 2
    ZoKrates

    ZoKrates

    A toolbox for zkSNARKs on Ethereum

    ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high-level language to generating proofs of computation to verifying those proofs in Solidity. Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs. zkSNARKs are the most widely used zero-knowledge protocols, with the anonymous cryptocurrency Zcash and the smart-contract platform Ethereum among the notable early adopters. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Categories