- Proofs of computational integrity
- Game between prover and verifier
- Prover knows an input to a
F(x)
that would make it returny
- Prover could trivially prove this by providing
x
- This convinces the verifier for sure!
- Being able to convince the verifier of a true claim is the property of completeness
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# to be used in conjunction with the functions defined here: | |
# https://colab.research.google.com/github/tensorflow/hub/blob/master/examples/colab/biggan_generation_with_tf_hub.ipynb | |
# party parrot transformation | |
noise_seed_A = 3 # right facing | |
noise_seed_B = 31 # left facing | |
num_interps = 14 | |
truncation = 0.2 | |
category = 14 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"sealEngine":"Ethash", | |
"params":{ | |
"accountStartNonce":"0x00", | |
"maximumExtraDataSize":"0x20", | |
"homesteadForkBlock":"0x2710", | |
"daoHardforkBlock":"0x00", | |
"EIP150ForkBlock":"0x3a98", | |
"EIP158ForkBlock":"0x59d8", | |
"byzantiumForkBlock":"0x7530", |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
pragma solidity ^0.4.24; | |
contract PizzaStore { | |
uint constant SLICE_PRICE_IN_ETH = 1e17; | |
uint constant SLICE_PRICE_IN_TOKEN = 1e19; | |
ERC20Interface constant PIZZA_TOKEN = ERC20Interface(0xdd974D5C2e2928deA5F71b9825b8b646686BD200); | |
event ProofOfPayment(address _beneficiary, address _token, uint _amount, bytes32 _data); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
pragma solidity ^0.4.14; | |
/* | |
Example of how to verify BLS signatures and BGLS aggregate signatures in Ethereum. | |
Signatures are generated using https://github.com/Project-Arda/bgls | |
Code is based on https://github.com/jstoxrocky/zksnarks_example | |
*/ | |
contract BLSExample { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* @dev OpcodeChecker processes contract code to generate a bitmap of used opcodes. | |
* | |
* DO NOT USE: See the vulnerability identified by Recmo below. A patch will be provided soon. | |
* | |
* The generated bitmap can be used to enforce whitelisting and blacklisting on contract code. | |
* Bit n of the bitmap is set iff opcode n is used. For instance, the presence of the STOP opcode | |
* will result in bit 0 of the bitmap being set. | |
* | |
* A best-effort attempt is made to skip over unreachable data, but there may be false positives. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
pragma solidity ^0.4.22; | |
// ECE 398 SC - Smart Contracts and Blockchain Security | |
// http://soc1024.ece.illinois.edu/teaching/ece398sc/spring2018/ | |
// Simpest possible duplex-micropayment channel | |
// - Funded with an up front amount at initialization | |
// - The contract creator is called "alice". The other party, "bob", is passed | |
// as an argument to the Constructor | |
// - There is no fixed deadline, but instead any party can initiate a dispute, | |
// which lasts for a fixed time |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /usr/bin/env ruby | |
# NOTE: Requires Ruby 2.1 or greater. | |
# This script can be used to parse and dump the information from | |
# the 'html/contact_info.htm' file in a Facebook user data ZIP download. | |
# | |
# It prints all cell phone call + SMS message + MMS records, plus a summary of each. | |
# | |
# It also dumps all of the records into CSV files inside a 'CSV' folder, that is created |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
pragma solidity ^0.4.10; | |
// Based on Alex Miller's design, with minor revisions to appease the compiler, and incorporate Christian Lundkvist's | |
// input about hash collisions. | |
contract Bitcoin { | |
struct UTXO { | |
address owner; | |
uint value; |