Posts

Will's ZKSNARKS Bibliography

Will's ZKSNARKS BibliographyCryptology ePrint Archive: Report 2013/879 - Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture BCTV14 https://eprint.iacr.org/2013/879 Our circuit generator is the first to be universal: it does not need to know the program, but onlya bound on its running time. Moreover, the size of the output circuit depends additively (rather thanmultiplicatively) on program size, allowing verification of larger programs. We evaluated our system for programs with up to 10,000 instructions, running for up to 32,000machine steps, each of which can arbitrarily access random-access memory; and also demonstrated it executing programs that use just-in-time compilation. Our proofs are 230 bytes long at 80 bits of security, or 288 bytes long at 128 bits of security. Typical verification time is 5 milliseconds, regardless of the original program’s running time. What are zk-SNARKs? / Zcash https://z.cash/technology/zksnarks/ Homomorphic HidingBlind Evaluation of P…

Penna Turnpike Commission overbills ~$40M per year on turnpike violation notices, successfully avoids public disclosure

I have been sending Right To Know requests to the PA Turnpike to expose how much they are collecting by overbilling drivers that exit the turnpike with a ticket.
PA law states how much they can charge: In the event of a lost toll ticket, the patron shall pay the fare from the farthest point of entry on the Turnpike to the actual point of exit. 67 Pa. Code § 601.12(d). But instead they are ignoring your actual point of exit and charging based on greater of your point of exit or exit from the opposite direction. Assuming drivers are losing tickets traveling East as often as West, this means half of those tolls are overbilled. BUT HOW MUCH? I made a request to find out! I asked for only the date, exit location, and toll amount for all tickets. PA Turnpike Commission denied the request saying that knowing the exit location of anonymous cars amounts to "vehicle movement records" and is not eligible for public disclosure. The PA Office of Open Records agreed by citing a case where a r…

Testing deployed Ethereum contracts with ESTIMATEGAS

Image
This article is cross-posted at https://0xcert.org/news/live-testing-smart-contracts-with-estimategas-william-entriken-tadej-vengust.

Testing smart contracts live without spending gas

0xcert is publishing a series of tech papers in collaboration with various authors. The present article is a contribution by our advisor and the lead author of ERC-721 standard, William Entriken, and our lead blockchain engineer, Tadej Vengust. Live Testing Smart Contracts with ESTIMATEGASWritten by: William Entriken, Tadej Vengust In this article, we will introduce a technique that allows you to test any deployed contract in arbitrary ways, without spending gas. It works on Ethereum Mainnet, Wanchain, Ethereum Ropsten, Hyperledger Burrow, Proof of Authority Network, private chains, and every other network based on Ethereum Virtual Machine. This new technique was first shown with the ERC-721 Validator, and you can't do it with Truffle. You will want to learn this technique if: Your contract deployment …

Mac Software Worth Buying and Free Software Worth Getting

Mac Software Worth BuyingApple – Final Cut Pro https://www.apple.com/final-cut-pro/ Video editing Adobe – Lightroom Classic CC Photo cataloging and manipulation. "Classic" version prevents you from having your photos leaked if you work with photos that are important or sensitive. Microsoft – Office 2019 (not cloud) This is god-awful software that has click-throughs for OneDrive every time you try to save a file. Also the interface is painful with simple things like sorting in Excel hidden behind multiple clicks. Default fonts are stupid. But at least it isn't slow af like LibreOffice so you might as well buy it. 64 Characters — Telephone A SIP telephone client Panic — Transmit Because Apple isn't going to suddenly add remote file systems to the Finder if they haven't done it in the first 30 years Cultured Code — Things Tracks all your todos. This is not a multiplayer software, so this is your todos from your perspective only. There is much that could be improved but this i…