recmo’s gists

recmo / world-id-protocol_attestation.log

Created February 16, 2026 06:38

Attestation for world-id-protocol MPC Phase 2 Trusted Setup ceremony

	Hey, I'm recmo-4532328 and I have contributed to the world-id-protocol MPC Phase2 Trusted Setup ceremony.
	The following are my contribution signatures:

	Circuit # 1 (oprfkeygenproof13)
	Contributor # 69
	Contribution Hash: 7d569ece 134114ce 682989a1 7ce4fe1e
	3783a589 7d00d1b9 03cde5a7 60dea29b
	42cb35e6 8d59db22 1e1690a7 1300da7d
	ad6a830b 34b479eb 5aea5735 1f8ab825

recmo / rust-vm.rs

Last active August 7, 2025 03:57

	#!/usr/bin/env rust-script
	// cargo-deps: thiserror = "2.0"
	//!
	//! Implements a tail-calling interpreter in Rust.
	//!
	#![feature(explicit_tail_calls)]

	use std::mem::transmute;
	use thiserror::Error;

recmo / safe-tx.ts

Created March 20, 2025 18:30

Safe transaction proposal

	#!/usr/bin/env -S deno run --allow-read --allow-env --allow-net
	// Note: Deno is almost self-contained, but you need to create a deno.json file to make it work.
	// This file should contain `{"nodeModulesDir": "none"}`

	import { MetaTransactionData, OperationType } from 'npm:@safe-global/types-kit'
	import SafeApiKit from 'npm:@safe-global/api-kit'
	import Safe from 'npm:@safe-global/protocol-kit'

	const chainId: bigint = 480n // World Chain
	const provider = 'https://worldchain-mainnet.g.alchemy.com/public'

recmo / next-two-adicity-prime.py

Last active February 5, 2025 16:37

	#!/usr/bin/env -S uv run --script
	# /// script
	# dependencies = [
	# ]
	# ///
	# <https://gist.github.com/recmo/af5935fc8a40c54050a691301eaacdaa>
	import random
	import time

	def miller_rabin(candidate, repeats=128):

recmo / Claim.yul

Last active November 1, 2024 14:51

	object "Claim" {
	code {
	datacopy(0, dataoffset("Runtime"), datasize("Runtime"))
	return(0, datasize("Runtime"))
	}

	object "Runtime" {
	code {
	// Memory layout
	// 0..192: ModExp precompile calldata

recmo / GaloisRing.sage

Last active June 28, 2024 10:55

Implementation of Galois Rings for SageMath

	# Load using the following command in SageMath:
	#
	# load("https://gist.githubusercontent.com/recmo/6393218cab40baa78e44766772d1ec34/raw/GaloisRing.sage")
	#
	# Get the latest version from https://gist.github.com/recmo/6393218cab40baa78e44766772d1ec34

	from sage.structure.richcmp import richcmp

	class GaloisRingElement(CommutativeRingElement):

recmo / katex-bookmarklet.js

Last active December 2, 2022 06:06

(function(){window.renderMath=function(){renderMathInElement(document.body,{delimiters:[{left:'$$',right:'$$',display:true},{left:'$',right:'$',display:false}],throwOnError:false});};if(!window.katex){css=document.createElement('link');css.rel='stylesheet';css.href='https://cdn.jsdelivr.net/npm/katex@0.16.3/dist/katex.min.css';css.crossorigin='anonymous';script=document.createElement('script');script.src='https://cdn.jsdelivr.net/npm/katex@0.16.3/dist/katex.min.js';script.async=false;script.crossorigin='anonymous';copyTex=document.createElement('script');copyTex.src='https://cdn.jsdelivr.net/npm/katex@0.16.3/dist/contrib/copy-tex.min.js';copyTex.async=false;copyTex.crossorigin='anonymous';autoRender=document.createElement('script');autoRender.src='https://cdn.jsdelivr.net/npm/katex@0.16.3/dist/contrib/auto-render.min.js';autoRender.async=false;autoRender.onload=window.renderMath;autoRender.crossorigin='anonymous';document.head.appendChild(css);document.head.appendChild(script);document.head.appendChild(copyTe

recmo / snailtracer-ngrams

Created October 30, 2022 05:10

	DUP2 899407
	PUSH1 718627
	PUSH2 718557
	ADD 686328
	JUMPDEST 573198
	POP 457984
	JUMPI 436369
	MSTORE 328876
	SWAP1 326765
	MLOAD 315104

recmo / keccak-aarch64.rs

Last active October 17, 2023 23:17

Rust aarch64 FEAT_SHA3 implementation of keccak_f1600.

	#![cfg(all(target_arch = "aarch64", target_feature = "sha3"))]
	use core::arch::asm;

	const RC: [u64; 24] = [
	0x0000000000000001,
	0x0000000000008082,
	0x800000000000808a,
	0x8000000080008000,
	0x000000000000808b,
	0x0000000080000001,

recmo / attestation.txt

Created April 8, 2022 17:11

Attestation

	I contributed to the Semaphore Trusted Setup Multi-Party Ceremony.
	The following are my contribution signatures:
	Circuit: semaphore16
	Contributor # 250
	Hash: c293791b 1806dea5 2b5eb5df 876a8690
	1bd6fd3b 642e1193 066254c2 53932eb5
	53e990b7 6dd80e26 a5b9e65e f8fd90b7
	94a06997 000dc2ad 4e4032f1 a87718fc

Remco Bloemen recmo