The schelling point for ZK applications.

Related tags

Utilities succinctx
Overview

succinctx

The schelling point for ZK applications.

Installing

Open your terminal and run the following command:

curl -L https://cli.succinct.xyz | bash

This installs succinctup. Running this will install or update the latest version of the binaries:

succinctup

Creating a project

After installing, you can use the succinct CLI. For example, to initialize a circuit:

succinct init

Build the circuit with:

succinct build

Generate a proof for the circuit with:

succinct prove

Release

To create a new SDK release:

./build/release.sh <X.Y.Z>

Building ABIs and Bindings

To build the ABIs:

./build/abi.sh

Then to build the bindings:

./build/binding.sh

If you need to add a binding for a different contract, edit build/binding.sh and modify the CONTRACTS array.

Comments
  • feat(cli): update main and add fixture gen command

    feat(cli): update main and add fixture gen command

    adds command for:

    succinct --fixture --signature "(bytes32)" --values 0x6de59dc86b36b81bdae8cfdf9c9283e06fc78234a62cac274f2bef1fd1cfd209
    

    or

    succinct --fixture --input 0x..
    
    opened by mattstam 2
  • feat: poseidon hash

    feat: poseidon hash

    Features

    • Create a poseidon hash that is compatible with the CircuitVariable type.
      • This poseidon hash implementation will be used by Celestia's proof equivalence circuit

    Design

    • Convert the [ByteVariable] input to the hash into [u32Target] (u32 field elements), which will be passed into the Poseidon hash. The 4 output field elements can be read as 8 byte chunks, resulting in a 32 byte output.
    opened by ratankaliani 0
  • feat: eth_getTransactionLog

    feat: eth_getTransactionLog

    Features

    • Add eth_getTransactionLog

    Refactor

    • Update order of variables for eth_getStorageAt to reflect natural order blockHash, address, storageKey
    • Update offsets to be more explicit
    opened by ratankaliani 0
  • feat: eth_getBlockByHash

    feat: eth_getBlockByHash

    Notes

    • removed bloom and extra because they both have types that are currently unsupported (variable bytes)

    Fixes

    • update address offset in from_variables
    opened by ratankaliani 0
  • feat(plonky2x): ci + rust-toolchain

    feat(plonky2x): ci + rust-toolchain

    Support for formatting, clippy, and tests in the CI. I also added a rust-toolchain file so we are all using the same rust version.

    To avoid running a test in CI, mark your test with:

    #[cfg_attr(feature = "ci", ignore)]
    
    opened by jtguibas 0
  • Implement optimized constraints for `keccak256`

    Implement optimized constraints for `keccak256`

    We currently have an implementation of keccack256 that needs implementation of optimized constraints: https://github.com/succinctlabs/succinctx/blob/main/plonky2x/src/frontend/hash/keccak/mod.rs#L13.

    The implementation should be quite similar to this implementation of sha256: https://github.com/succinctlabs/succinctx/blob/main/plonky2x/src/frontend/hash/sha/sha256.rs.

    Open-Source Program medium 
    opened by puma314 0
  • Implement `Multiplexer` for `CircuitVariable`

    Implement `Multiplexer` for `CircuitVariable`

    Follow this PR (https://github.com/succinctlabs/succinctx/pull/111) and implement a multiplex for choosing from a slice of circuit variables. This primitive from plonky2 should be helpful: https://github.com/mir-protocol/plonky2/blob/bf1ed7839796a885012f8eeaf7a88191e4cc85f9/plonky2/src/gadgets/select.rs#L33.

    This is a good starter task for getting familiar with contributing to plonky2x.

    Open-Source Program small 
    opened by puma314 0
  • Implement `Byte` to `Nibbles`

    Implement `Byte` to `Nibbles`

    Follow this PR (https://github.com/succinctlabs/succinctx/pull/110) and fill in the implementation of to_nibbles, also adding a test for checking the circuit's correctness. This is a good starter task for people interested in getting familiar with plonky2x.

    Open-Source Program small 
    opened by puma314 0
Releases(v0.0.16)
Owner
Succinct
Succinct
Optimize floating-point expressions for accuracy

Herbie automatically improves the error of floating point expressions. Visit our website for tutorials, documentation, and an online demo. Herbie has

Herbie Project 611 Dec 19, 2022
The point of this anchor project is to serve as a starter kit or example to compose with mango-v3 using anchor.

The point of this anchor project is to serve as a starter kit or example to compose with mango-v3 using anchor. It currently provides 2 examples and various inline todos on how to extend this.

null 26 Oct 10, 2022
Select any exported function in a dll as the new dll's entry point.

Description This tool will patch the entry point of the input dll and replace it with the RVA of another exported function in that same dll. This allo

Kurosh Dabbagh Escalante 43 Jun 7, 2023
A tool to run web applications on AWS Lambda without changing code.

AWS Lambda Adapter A tool to run web applications on AWS Lambda without changing code. How does it work? AWS Lambda Adapter supports AWS Lambda functi

AWS Samples 321 Jan 2, 2023
Emit ETW events in tracing-enabled Rust applications.

tracing-etw Emit ETW events in tracing-enabled Rust applications. This crate depends on rust_win_etw. There are four ETW events. fn NewSpan(span_id: u

Microsoft 11 Aug 10, 2022
A formal, politely verbose programming language for building next-gen reliable applications

vfpl Pronounced "Veepl", the f is silent A politely verbose programming language for building next-gen reliable applications Syntax please initialize

VFPL 4 Jun 27, 2022
Cookiecutter templates for Serverless applications using AWS SAM and the Rust programming language.

Cookiecutter SAM template for Lambda functions in Rust This is a Cookiecutter template to create a serverless application based on the Serverless Appl

AWS Samples 24 Nov 11, 2022
Continuous Delivery for Declarative Kubernetes, Serverless and Infrastructure Applications

Continuous Delivery for Declarative Kubernetes, Serverless and Infrastructure Applications Explore PipeCD docs » Overview PipeCD provides a unified co

PipeCD 650 Dec 29, 2022
Dr-dotnet - 🩺 One-click diagnosis of your dotnet applications. Works both locally or remotely as a web service

Dr-dotnet - ?? One-click diagnosis of your dotnet applications. Works both locally or remotely as a web service. Based on the lowest level dotnet profiling APIs and using the rust language ?? for a minimal runtime penalty.

Olivier Giniaux 25 Dec 17, 2022
esp-serial-dbg - debugging of esp-hal based applications via serial

esp-serial-dbg - debugging of esp-hal based applications via serial About This is still work in progress! At least the contained examples should work

Björn Quentin 3 Aug 23, 2022
Cargo subcommand to easily bootstrap nocode applications. Write nothing; deploy nowhere.

cargo-nocode No code is the best way to write secure and reliable applications. Write nothing; deploy nowhere. cargo-nocode aims to bring the nocode a

Orhun Parmaksız 29 Jul 1, 2023
Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵̺s̷̖̅ţ̸͗!̸̼͋

Rust S̵̓i̸̓n̵̉ I̴n̴f̶e̸r̵n̷a̴l mutability! Howdy, friendly Rust developer! Ever had a value get m̵̯̅ð̶͊v̴̮̾ê̴̼͘d away right under your nose just when

null 294 Dec 23, 2022
Teleport is a simple application for sending files from Point A to Point B

Teleporter Teleporter is a small utility in the vein of netcat to send files quickly from point A to point B. It is more convenient than netcat in tha

geno 21 Dec 18, 2022
Fixed point to floating point (and back) conversion utility

fixed2float Simple utility for fixed point to real number conversions, using the VisSim (Fxm.b) and Q (Qm.n) notations. Usage as a dependency of your

Francesco Urbani 2 Aug 5, 2022
📡Proxy HTTP/1.1 requests over a sensitive point-to-point link

ptproxy Motivation What's this? Why do I need this? What's a sensitive network link? What's wrong with a VPN? What's wrong with HTTP[S]? What's wrong

Alba Mendez 5 Jul 26, 2023
SIMD Floating point and integer compressed vector library

compressed_vec Floating point and integer compressed vector library, SIMD-enabled for fast processing/iteration over compressed representations. This

Evan Chan 56 Nov 24, 2022
Nearest neighbor search algorithms including a ball tree and a vantage point tree.

petal-neighbors Nearest neighbor search algorithms including a ball tree and a vantage point tree. Examples The following example shows how to find tw

Petabi 6 Oct 19, 2022
Optimize floating-point expressions for accuracy

Herbie automatically improves the error of floating point expressions. Visit our website for tutorials, documentation, and an online demo. Herbie has

Herbie Project 611 Dec 19, 2022
Enable floating point exceptions with backtraces.

Batman Have you ever written a function like this that was hard to debug? fn main() { let signal = [""; 16].join(&format!("{}", f64::sqrt(50.3 - 5

Jay Oster 2 Nov 15, 2022
The point of this anchor project is to serve as a starter kit or example to compose with mango-v3 using anchor.

The point of this anchor project is to serve as a starter kit or example to compose with mango-v3 using anchor. It currently provides 2 examples and various inline todos on how to extend this.

null 26 Oct 10, 2022