Orie Steele OR13

ProVerif is a tool for automatically analyzing the security of cryptographic protocols. Support is provided for, but not limited to, cryptographic primitives including:

symmetric and asymmetric encryption; digital signatures; hash functions; bit-commitment; and non-interactive zero-knowledge proofs.

Install

Instructions

new terminal

git clone [email protected]:hyperledger/fabric-samples.git;
cd fabric-samples;
./scripts/bootstrap.sh 1.4.0 1.4.0 0.4.14;
cd chaincode-docker-devmode;
docker-compose -f docker-compose-simple.yaml up;

	const sidetree = new element.Sidetree({
	blockchain: element.blockchain.ethereum.configure({
	hdPath: "m/44'/60'/0'/0/0",
	mnemonic: config.mnemonic,
	providerUrl: config.web3ProviderUrl,
	}),
	storage: element.storage.ipfs.configure({
	multiaddr: config.ipfsApiMultiAddr,
	}),
	serviceBus: new element.adapters.serviceBus.ElementNanoBusAdapter(),

	const MerkleTools = require("merkle-tools");
	const crypto = require("crypto");

	const sha256 = data => {
	const h = crypto.createHash("sha256");
	h.update(data);
	return h.digest("hex");
	};

	let treeOptions = {


	const Web3 = require('web3');
	const fundMetaMaskFromDefaultAccounts = async (amountETH, providerUrl) => {
	if (window.web3) {
	const metaMaskWeb3 = window.web3;
	const ganacheWeb3 = new Web3(new Web3.providers.HttpProvider(providerUrl));
	const getAccounts = someWeb3 => {
	return new Promise((resolve, reject) => {
	someWeb3.eth.getAccounts(async (err, accounts) => {
	if (err) {

	import React from "react";
	import { mount } from "enzyme";
	import toJSON from "enzyme-to-json";
	import { MockedProvider } from "react-apollo/test-utils";
	import { addTypenameToDocument } from "apollo-client";
	import configureStore from "redux-mock-store";
	import { connect } from "react-redux";
	import { graphql, compose } from "react-apollo";

	import { getPokemon } from "../query";

	import { graphql, compose } from "react-apollo";

	import { getPokemon } from "./query";

	import { connect } from "react-redux";
	import client from "../Apollo";

	import {
	pokemonLoadStarted,
	pokemonLoaded,

	class MyComponent extends Component {
	render() {
	return (<div>MyComponent</div>);
	}
	}

	var a = [
	{ name: 'a' },
	{ name: 'b' },
	{ name: 'c' },
	]

	var b = a.slice();
	b.splice(1, 1);
	b.push({ name: 'd' });