tchataigner

Fix sdk assertion macros

5

While working on the High level Rust SDK I found out that low level macro were not working as expected. I started to fix their behavior but also found a...

RFP Application: FVM - High level Rust SDK

20

# RFP Proposal: FVM - High level Rust SDK **Name of Project:** FVM - High level Rust SDK **Link to RFP:** Please link to the RFP that you are submitting...

Development of a Circom Gadget standard library for Lurk

2

## Description When our users will want to implement some of their projects in Lurk they will need some basic building tools to be integrated within our library (at least...

RPC cache system

3

# Pull Request type Please add the labels corresponding to the type of changes your PR introduces: - Feature ## What is the current behavior? In the current implementation of...

Remove `ShapeCS`

1

## Goal This PR goes with https://github.com/lurk-lab/bellpepper/pull/91. It aims at moving the `ShapeCS` and `TestShapeCS` structures to `bellpepper` so that they can both be available in broader context. The structures...

Supernova: better slices handling

2

While trying to further my understanding of how to handle the program counter I have encountered a case where we have a panic in `supernova::snark::CompressedSNARK::verify`. It happened a conversation I...