jotabulacios
jotabulacios
## Description This PR adds differential fuzzer for testing Pedersen and Poseidon using `starknet` and `pathfinder` implementations as a reference ## Type of change - [ ] New feature ##...
## Add Poseidon fuzzer This PR attempt to add a fuzzer for testing Poseidon. I tried implementing the methods used in other fuzzers and benchmarks, but encountered type mismatches among...
WIP This PR enhances the task sender functionality to handle batch tasks and create an infinite task sender It specifically adapts these features for the PLONK proof system using the...
Before sending a task run ```bash build-sp1-groth16-macos ``` and then ```bash make send-groth16_bn254-proof DA_SOLUTION= ```
This PR introduces benchmarking for the gnark plonk verifier, with plans to extend benchmarking to cover additional verifiers in the future.
This PR establishes a dockerized environment It incorporates Dockerfiles for the following components: - Opetator - Aggretor - Anvil tesnet ## Type of change - [x] New To test it,...
## How to test After generating the proof, you will have to have three different files: - proof file - verification key file - public input file Then, you can...
This PR introduces feedback for proof verification To test it send a proof, for example: ```bash make batcher_send_plonk_bls12_381_task ``` remember to send two tasks or ```bash aligned --proving_system GnarkPlonkBls12_381 \...
# BLS 12-381 pairing optimization ## Description This PR aims to improve the pairing for the bls 12-381 curve by using optimized operations ## Type of change - [ ]...
# Add BigUint conversion ## Description This PR adds `try_from` operator to create a field element from a `BigUint` ## Type of change Please delete options that are not relevant....