Skip to content
View bergkvist's full-sized avatar
84 followers · 121 following
  • Sr. Software Engineer @ Succinct
  • Oslo, Norway

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@NixOS

Block or report bergkvist

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bergkvist/README.md

I’m currently working on sp1, a RISC-V virtual machine that emulates and generates zero knowledge proofs of correct program execution for some fixed inputs/outputs.

sp1 was used by Google to prove they found an improvement to Shor's algorithm for factoring integers on quantum computers without revealing the new algorithm. sp1 is also used by various blockchain rollups.

Pinned Loading

  1. uiuapy uiuapy Public

    Manipulate NumPy arrays using Uiua in Python

    Rust 12

  2. videoid videoid Public

    Video comparison using perceptual hashing in C++

    C++ 8

  3. includeimage includeimage Public

    Dockerfile syntax extension for combining multiple Docker images into one. (INCLUDE <image>)

    Go 24 3

  4. asm-http-server asm-http-server Public

    Tiny web server handwritten in assembly (NASM x86-64, Linux)

    Assembly 4

  5. fpga-sha256 fpga-sha256 Public

    SHA256 Hashing algorithm implemented in SystemVerilog

    SystemVerilog 2 1

  6. IrreducibleOSS/binius IrreducibleOSS/binius Public archive

    A SNARK using towers of binary fields, implemented in Rust .

    Rust 138 66