0xJ0 Jovonni

We couldn’t find that file to show.

Multiple Styles: The Writeup

The following is a writeup of the challenge 'multiple-styles' from the manticore wiki.

Analysis

If we were to run the command manticore multiple-styles, manticore would begin an automatic analysis of the binary, and would eventually figure out the necessary inputs to reach any code path. However, as this can take an exceptionally long time (depending on the complexity of the binary), we will do some manual analysis of the binary in order to speed things up. Below is an annotated disassembly of the main function, produced by Binary Ninja.

	# train_grpo.py
	import re
	import torch
	from datasets import load_dataset, Dataset
	from transformers import AutoTokenizer, AutoModelForCausalLM
	from peft import LoraConfig
	from trl import GRPOConfig, GRPOTrainer

	# Load and prep dataset

	// This source code is subject to the terms of the Mozilla Public License 2.0 at https://mozilla.org/MPL/2.0/
	// ©jdehorty

	// @version=5
	indicator('Machine Learning: Lorentzian Classification', 'Lorentzian Classification', true, precision=4, max_labels_count=500)

	import jdehorty/MLExtensions/2 as ml
	import jdehorty/KernelFunctions/2 as kernels

	type Settings

	package main

	import (
	"crypto/elliptic"
	"crypto/rand"
	"fmt"
	"math/big"
	)

	type Prover struct {