Follow-up: Evaluating CockroachDB and YugabyteDB Webinar

Earlier this week, Yugabyte CTO Karthik Ranganathan presented the live webinar: Evaluating CockroachDB vs YugabyteDB, with a spotlight on comparing PostgreSQL features, architecture, and the latest performance benchmarks between the two databases. We were delighted to see such interest in the topic, dive deeper into some of the topics we raised in parts 1 and parts 2 of the blog series, Bringing Truth to Competitive Benchmark Claims – YugabyteDB vs CockroachDB, and answer questions from the audience.

In this blog post, we provide the playback recording and slides, recap some highlights from the presentation, and summarize the questions and answers.

If you have additional questions about evaluating YugabyteDB vs CockroachDB, or any question about distributed SQL databases or YugabyteDB in general, you can ask them on our YugabyteDB Slack channel, Forum, GitHub, Stackoverflow, or contact us on our website.

#cockroachdb #databases #distributed sql #postgresql

What is GEEK

Buddha Community

Follow-up: Evaluating CockroachDB and YugabyteDB Webinar

Follow-up: Evaluating CockroachDB and YugabyteDB Webinar

Earlier this week, Yugabyte CTO Karthik Ranganathan presented the live webinar: Evaluating CockroachDB vs YugabyteDB, with a spotlight on comparing PostgreSQL features, architecture, and the latest performance benchmarks between the two databases. We were delighted to see such interest in the topic, dive deeper into some of the topics we raised in parts 1 and parts 2 of the blog series, Bringing Truth to Competitive Benchmark Claims – YugabyteDB vs CockroachDB, and answer questions from the audience.

In this blog post, we provide the playback recording and slides, recap some highlights from the presentation, and summarize the questions and answers.

If you have additional questions about evaluating YugabyteDB vs CockroachDB, or any question about distributed SQL databases or YugabyteDB in general, you can ask them on our YugabyteDB Slack channel, Forum, GitHub, Stackoverflow, or contact us on our website.

#cockroachdb #databases #distributed sql #postgresql

Oyente | An Analysis Tool for Smart Contracts

Oyente

An Analysis Tool for Smart Contracts

This repository is currently maintained by Xiao Liang Yu (@yxliang01). If you encounter any bugs or usage issues, please feel free to create an issue on our issue tracker.

Quick Start

A container with required dependencies configured can be found here. The image is however outdated. We are working on pushing the latest image to dockerhub for your convenience. If you experience any issue with this image, please try to build a new docker image by pulling this codebase before open an issue.

To open the container, install docker and run:

docker pull luongnguyen/oyente && docker run -i -t luongnguyen/oyente

To evaluate the greeter contract inside the container, run:

cd /oyente/oyente && python oyente.py -s greeter.sol

and you are done!

Note - If need the version of Oyente referred to in the paper, run the container from here

To run the web interface, execute docker run -w /oyente/web -p 3000:3000 oyente:latest ./bin/rails server

Custom Docker image build

docker build -t oyente .
docker run -it -p 3000:3000 -e "OYENTE=/oyente/oyente" oyente:latest

Open a web browser to http://localhost:3000 for the graphical interface.

Installation

Execute a python virtualenv

python -m virtualenv env
source env/bin/activate

Install Oyente via pip:

$ pip2 install oyente

Dependencies:

The following require a Linux system to fufill. macOS instructions forthcoming.

solc evm

Full installation

Install the following dependencies

solc

$ sudo add-apt-repository ppa:ethereum/ethereum
$ sudo apt-get update
$ sudo apt-get install solc

evm from go-ethereum

  1. https://geth.ethereum.org/downloads/ or
  2. By from PPA if your using Ubuntu

z3 Theorem Prover version 4.5.0.

Download the source code of version z3-4.5.0

Install z3 using Python bindings

$ python scripts/mk_make.py --python
$ cd build
$ make
$ sudo make install

Requests library

pip install requests

web3 library

pip install web3

Evaluating Ethereum Contracts

#evaluate a local solidity contract
python oyente.py -s <contract filename>

#evaluate a local solidity with option -a to verify assertions in the contract
python oyente.py -a -s <contract filename>

#evaluate a local evm contract
python oyente.py -s <contract filename> -b

#evaluate a remote contract
python oyente.py -ru https://gist.githubusercontent.com/loiluu/d0eb34d473e421df12b38c12a7423a61/raw/2415b3fb782f5d286777e0bcebc57812ce3786da/puzzle.sol

And that's it! Run python oyente.py --help for a list of options.

Paper

The accompanying paper explaining the bugs detected by the tool can be found here.

Miscellaneous Utilities

A collection of the utilities that were developed for the paper are in misc_utils. Use them at your own risk - they have mostly been disposable.

  1. generate-graphs.py - Contains a number of functions to get statistics from contracts.
  2. get_source.py - The get_contract_code function can be used to retrieve contract source from EtherScan
  3. transaction_scrape.py - Contains functions to retrieve up-to-date transaction information for a particular contract.

Benchmarks

Note: This is an improved version of the tool used for the paper. Benchmarks are not for direct comparison.

To run the benchmarks, it is best to use the docker container as it includes the blockchain snapshot necessary. In the container, run batch_run.py after activating the virtualenv. Results are in results.json once the benchmark completes.

The benchmarks take a long time and a lot of RAM in any but the largest of clusters, beware.

Some analytics regarding the number of contracts tested, number of contracts analysed etc. is collected when running this benchmark.

Contributing

Checkout out our contribution guide and the code structure here.

$ sudo apt-get install software-properties-common
$ sudo add-apt-repository -y ppa:ethereum/ethereum
$ sudo apt-get update
$ sudo apt-get install ethereum

Download Details:
Author: enzymefinance
Source Code: https://github.com/enzymefinance/oyente
License: GPL-3.0 license

#blockchain #smartcontract #ethereum

Sasha  Lee

Sasha Lee

1625927040

Free Webinar Alert: From Big Data To Big Decisions

In this post-pandemic era, businesses of all sizes are heavily relying on machine learning and artificial intelligence to facilitate better decision making. However, to take full advantage of data science, AI and ML, it’s important to master the art of managing big data. In addition, one should understand the dynamics of big data — including cleaning, filtering and modifying it — to create effective machine learning models. The meteoric rise of machine learning has propelled the demand for professionals with data and analytics competencies.

The webinar will cover —

  • What is big data?
  • What is data engineering, data science and analytics?
  • What do data scientists do?
  • Skills required for a data scientist
  • How to get started on the data science journey?
  • Use cases from Swiggy on data science and analytics.

Who should attend:

  • Data scientists & analysts
  • Data engineers
  • Data science & analytics enthusiasts
  • Students, freshers & working professionals interested in the data science domain

About the Speaker:

David Zakkam is the Vice President and Head of Analytics at Swiggy. He has around 18 years of experience in analytics and data science. At Swiggy, David’s team focuses on problems in the hyperlocal delivery and food-tech space. The team is currently working on providing a better customer experience, ensuring the safety of everyone involved, helping restaurants grow through insights, ensuring drivers get good pay for their work, and evaluating new business models. Before Swiggy, David was at Mu Sigma, where he consulted 23 companies across nine verticals, led an analytics team of over 450 people and managed senior client relationships in Europe and the US. He has done his studies in IIT Delhi (2001) and IIM Calcutta (2006). Outside of analytics, he loves playing the drums, singing, learning new languages and sports.

#featured #big data webinar #free live webinar #free webinar #big data #webinar alert

Whitney  Durgan

Whitney Durgan

1620681120

CockroachDB vs (MySQL, PostgreSQL, MongoDB & Cassandra)

An introduction to CockroachDB

If you are an entrepreneur or an enterprise IT leader, then you need to plan the technology stack for your software development project. You need to choose the right database for your project. If you are developing a heavy-duty transaction processing system or a high-demand analytics system, you will likely use an RDBMS (Relational Database Management System). You can choose one from several popular RDBMSs.

However, do you want an assurance that your data in an RDBMS will survive even large-scale failures in application systems and servers? This narrows the choice. This is where CockroachDB becomes important. This relatively new RDBMS offers a high degree of survivability to your data. In this article, we review CockroachDB and its features. We assess its pros and cons. Subsequently, we review its use cases. Finally, we compare CockroachDB with some of the popular databases. Read on.

#cockroachdb vs cassandra #cockroachdb vs mongodb #cockroachdb vs mysql #cockroachdb vs postgres #mysql

Virgil  Hagenes

Virgil Hagenes

1601508900

Webinar: How To Crack Data Science Hackathons

Hackathons have evolved to be one of the key ways for data scientists to learn new skills, practically apply their skills, get a hands-on solving business-centric problem, build a community, and more. Not just a way for boosting the skills, hackathons have also become one of the crucial tools for companies to hire candidates for internships and even full-time employment.

Addressing the growing popularity of hackathons, there are several hackathon platforms available today for data science enthusiasts to compete on. While there are many resources available, it can be overwhelming for candidates, especially newcomers to fit right into hackathons. There can be challenges such as finding the right project to work according to the skills to even becoming a part of the team.

#featured #datascience webinar #hackathon webinar #webinar #data-science