Fiat-Shamir Identification - Non-Interactive Zero-Knowledge Proofs - Full Implementation

Posted on Fri 25 August 2023 in tech

Fiat-Shamir Identification: Non-Interactive Zero-Knowledge Proofs

See full implementation code on GitHub

The ability to prove knowledge of some secret information without revealing the secret itself is crucial. Fiat-Shamir Identification demonstrates how this can be achieved in a way that doesn't require interaction between the prover and verifier. Further, Fiat and …


Continue reading

define a custom keybinding in emacs

Posted on Fri 28 July 2023 in tech

Emacs global-set-key

This video demonstrates how to set a custom global keybinding in Emacs to open the org agenda folder.

(setq org-agenda-folder (quote "~/org"))
(defun open-agenda-folder () (interactive) (dired org-agenda-folder))
(global-set-key "\C-cr" (quote open-agenda-folder))

YouTube


vm.mockCall in Solidity

Posted on Mon 24 July 2023 in tech • Tagged with solidity, ethereum, programming, tutorial

mocking calls to specific addresses in solidity

Mocking a specific address signature in Solidity is useful for simulating expected behavior from an existing address or instance of a contract. In mock testing dependencies are replaced with simulated implementations to isolate the behavior of the funtion under test.

Proxy contracts that …


Continue reading

generate a random hex string in python

Posted on Thu 08 June 2023 in tech • Tagged with python, programming

Here is a simple gist that demonstrates how to generate a random hex string in Python. This is pseudo-random and designed only to be used for generating test data.


getting started with command line navigation using emacs

Posted on Fri 02 June 2023 in tech

Even for non-emacs users it can be powerful to understand the basic emacs command editing paradigm. Both Mac OS and the Unix and Linux shell allow emacs style command editing in text contexts. This basic introduction goes over the basics of emacs "chords" and control of the command line. An …


Continue reading

5 emacs tips for power users

Posted on Tue 30 May 2023 in tech

Emacs is a great system and worthwhile for any developer to spend some time learning and improving their skills. YouTube has plenty of introductions and tutorials to Emacs but very few tutorials aim at power users. Here are 5 tips for emacs users who would like to go to the …


Continue reading